Peter Sestoft  Home/Search
Context Related
| dina.kvl.dk/pub/Staff/P...amlazy5.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: matfys.kvl.dk/~ses...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural University Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark E-mail: sestoft@dina.kvl.dk Version 6 of March 13, 1996 Abstract We derive a simple abstract machine for lazy evaluation of the lambda calculus, starting from Launchbury's natural semantics. Lazy evaluation here means non-strict evaluation with sharing of argument evaluation, that is, call-by-need. The machine we derive is a lazy... (Update)
Cited by: More
Improving the Lazy Krivine Machine - Daniel Friedman Abdulaziz (Correct)
A Study of Objects - Hankin (1999) (Correct)
An Operational Semantics for Parallel Lazy Evaluation - Clem Baker-Finch University (Correct)
Active bibliography (related documents): More All
0.2: The Call-by-Need Lambda Calculus - Maraist, Odersky (1994) (Correct)
0.2: Analysis and Efficient Implementation of Functional Programs - Sestoft (1991) (Correct)
0.2: A Systematic Study of Functional Language Implementations - Douence, Fradet (1998) (Correct)
Similar documents based on text: More All
0.4: Demonstrating Lambda Calculus Reduction - Peter Sestoft Department (2002) (Correct)
0.3: Runtime Code Generation with JVM And CLR - Sestoft (2002) (Correct)
0.3: Proceedings: First European Conference for Information.. - Kure, Thysen, (eds.) (Correct)
Related documents from co-citation: More All
33: A natural semantics for lazy evaluation - Launchbury - 1993
14: A call-by-need lambda calculus - Ariola, Felleisen et al. - 1995
12: From operational semantics to abstract machines (context) - Hannan, Miller - 1992
BibTeX entry: (Update)
Sestoft, P. 1997. Deriving a lazy abstract machine. J. Funct. Program. 7, 3. To be published. http://citeseer.ist.psu.edu/sestoft97deriving.html More
@article{ sestoft97deriving,
author = "Peter Sestoft",
title = "Deriving a Lazy Abstract Machine",
journal = "Journal of Functional Programming",
volume = "7",
number = "3",
pages = "231-264",
year = "1997",
url = "citeseer.ist.psu.edu/sestoft97deriving.html" }
Citations (may not include all citations):359 The implementation of functional programming languages (context) - Jones - 1987
114 A natural semantics for lazy evaluation - Launchbury - 1993
89 The lambda calculus (context) - Barendregt - 1984
84 Lambda lifting: Transforming programs to recursive equations - Johnsson - 1985
81 The Zinc experiment: An economical implementation of the ML .. - Leroy - 1990
73 Unboxed values as first class citizens in a nonstrict functi.. - Jones, Launchbury - 1991
66 Efficient compilation of lazy evaluation - Johnsson - 1984
59 A compiler for Lazy ML (context) - Augustsson - 1984
55 Space-efficient closure representations - Shao, Appel - 1994
51 Deriving a lazy abstract machine - Sestoft - 1994
48 From operational semantics to abstract machines: Preliminary.. (context) - Hannan, Miller - 1990
46 Analysis and efficient implementation of functional programs - Sestoft - 1991
40 Deriving target code as a representation of continuation sem.. (context) - Wand
40 Compiler verification in LF - Hannan, Pfenning - 1992
27 Implementing functional languages (context) - Jones, Lester - 1992
14 Making abstract machines less abstract (context) - Hannan - 1991
13 Improving the Three Instruction Machine (context) - Argo - 1989
8 Time and space profiling for non-strict (context) - Sansom, Peyton - 1995
8 The semantics of lazy functional languages (context) - Josephs - 1989
8 The ae-calculus: an abstract framework for environment machi.. (context) - Curien - 1988
5 a environnement pour la r (context) - Cr'egut - 1991
1 Re: Is lambda lifting always necessary (context) - Technique, Rocquencourt et al. - 1992
1 An abstract machine for the normalization of -terms (context) - North-Holland, Abstract et al. - 1990
1 Pages 234--241 of: Ninth ACM symposium on principles of prog.. (context) - on, languages et al. - 1982
1 Implementing lazy functional languages on stock hardware: th.. (context) - Jones - 1992
1 TIM: A simple (context) - LIENS-, Ecole et al. - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.matfys.kvl.dk/~sestoft/publications.html): More
Partial Evaluation - Mogensen, Sestoft (1996) (Correct)
ML pattern match compilation and partial evaluation - Sestoft (1996) (Correct)
Demonstrating Lambda Calculus Reduction - Sestoft (2001) (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