Thomas Johnsson  Home/Search
Context
Related
| cs.chalmers.se/~jo...toavoidit.ps.gz math.chalmers.se/~...toavoidit.ps.gz md.chalmers.se/~jo...toavoidit.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.chalmers.se/~johnsson/ (more) From: md.chalmers.se/~johnsson/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the first part of this talk, I will review the thought that led to the G-machine. In the second part, I will describe some recent work on formalising the `avoiding graph reduction' bit, by doing fold/unfold transformation on a basic inefficient graph constructing interpreter. (Update)
Similar documents (at the sentence level):
6.6%: Compiling Lazy Functional Languages: An introduction - Johnsson (Correct)
Active bibliography (related documents): More All
0.3: Efficient Compilation of Lazy Evaluation - Johnsson (1984) (Correct)
0.2: Interprocedural Register Allocation for Lazy Functional Languages - Boquist (1995) (Correct)
0.0: FUDGETS - Graphical User Interfaces and I/O in Lazy.. - Carlsson, Hallgren (1993) (Correct)
Similar documents based on text: More All
0.1: Implementing lazy functional languages on stock hardware: the.. - Jones (1992) (Correct)
0.1: Parallel Graph Reduction with the -machine - Augustsson, Johnsson (1989) (Correct)
0.1: Parallel Evaluation of Functional Programs: The G-machine approach - Johnsson (1991) (Correct)
BibTeX entry: (Update)
@misc{ johnsson-graph,
author = "Thomas Johnsson",
title = "Graph Reduction, and how to avoid it (extended abstract of talk)",
url = "citeseer.ist.psu.edu/johnsson95graph.html" }
Citations (may not include all citations):385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
293 The essence of functional programming - Wadler - 1992
218 The Mechanical Evaluation of Expressions (context) - Landin - 1964
143 A New Implementation Technique for Applicative Languages (context) - Turner - 1979
106 The Categorical Abstract Machine (context) - Cousineau, Curien et al. - 1985
72 Semantics and Pragmatics of the Lambda Calculus (context) - Wadsworth - 1971
67 Recursive Programming Techniques (context) - Burge - 1975
32 A Lazy Evaluator (context) - Henderson, Morris - 1976
29 The Functional Abstract Machine (context) - Cardelli - 1983
13 Programming Methodology Group (context) - Augustsson, Technical - 1982
4 Code Generation for Lazy Evaluation (context) - Johnsson - 1981
Documents on the same site (http://www.cs.chalmers.se/~johnsson/): More
Compiling Lazy Functional Languages: An introduction - Johnsson (Correct)
Parallel Graph Reduction with the -machine - Augustsson, Johnsson (1989) (Correct)
Parallel Evaluation of Functional Programs: The G-machine approach - Johnsson (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC