See this document in CiteSeerX!

Graph Reduction, and how to avoid it (extended abstract of talk) (1995)  (Make Corrections)  
Thomas Johnsson



  Home/Search   Context   Related

 
View or download:
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   Image  Update  Help

From:  cs.chalmers.se/~johnsson/ (more)
From:  md.chalmers.se/~johnsson/
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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