Will Clinger. The Scheme 311 compiler: An exercise in denotational semantics. In 1984 ACM Symposium on Lisp and Functional Programming, pages 356-364, New York, August 1984. The Association for Computing Machinery, Inc. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
Algebra for Digital Design Derivation - August This Is (Correct)
How Daisy is Lazy: Suspending Construction at Target Levels - Johnson (Correct)
The VLISP Verified Scheme System - Guttman, Swarup, Ramsdell (1995) (3 citations) (Correct)
Igor Siveroni Advisor: Prof. Mitchell Wand March 19, 1997 - Nd Mar Ch (Correct)
The Tail-Recursive SECD Machine - Ramsdell (1999) (1 citation) (Correct)
The Essence of Compiling with Continuations - Flanagan, Sabry, Duba, Felleisen (1993) (143 citations) (Correct)
The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
Mechanical Verification of Compiler Correctness - Stringer-Calvert (1998) (Correct)
VLISP: A Verified Implementation of Scheme - Guttman, Ramsdell (1995) (17 citations) (Correct)
Incremental Lambda Lifting: An Exercise in.. - Sullivan, Wand (1997) (Correct)
Compiling with Proofs - Necula (1997) (23 citations) (Correct)
The VLISP Verified PreScheme Compiler - Oliva, al. (1995) (6 citations) (Correct)
Compiler Correctness for Parallel Languages - Wand (1994) (11 citations) (Correct)
Compiler Correctness for Concurrent Languages - Gladstein, Wand (1994) (6 citations) (Correct)
A Little Goes a Long Way: A Simple Tool to Support.. - Wand, Sullivan (1995) (Correct)
Verdi Compiler: Final Report - Saaltink, Meisels (1994) (Correct)
The Evolution of Lisp - Steele, Jr., Gabriel (1993) (15 citations) (Correct)
Program Mobile Robots in Scheme - Rees, Donald (1992) (8 citations) (Correct)
VLISP: A Verified Implementation of Scheme - Guttman, Swarup, Ramsdell (1993) (17 citations) (Correct)
A Verified Run-Time Structure for Pure PreScheme - Oliva, Wand (1992) (Correct)
A Verified Compiler for Pure PreScheme - Oliva, Wand (1991) (5 citations) (Correct)
A Verified Compiler for VLISP PreScheme - Oliva, Ramsdell, Wand (1993) (Correct)
A Guide to VLISP, A Verified Programming Language.. - Guttman, Monk.. (1992) (Correct)
LISP AND SYMBOLIC COMPUTATION: An International Journal.. - Results And Conclusions (Correct)
Revised^3 Report on the Algorithmic Language Scheme - Rees, (ed.), Clinger.. (1991) (190 citations) Self-citation (Clinger) (Correct)
Proper Tail Recursion and Space Efficiency - Clinger (1998) (10 citations) Self-citation (Clinger) (Correct)
Revised^4 Report on the Algorithmic Language Scheme - Clinger, (ed.), Rees.. (1991) (242 citations) Self-citation (Clinger) (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