See this document in CiteSeerX!

Continuation-Passing-Style as an Intermediate Representation for Compiling Scheme (1994)  (Make Corrections)  
Kris De Volder



  Home/Search   Context   Related

 
View or download:
progftp.vub.ac.be/...progtr9409.ps.Z
prog.vub.ac.be/Pub...progtr9409.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.ubc.ca/~kdvolder/ (more)
(Enter author homepages)

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

Abstract: This paper describes the implementation of a small experimental Scheme compiler, using Continuation Passing Style (CPS) as an intermediate representation for the source code. CPS is a form of code that makes control flow and control information explicit. This, in combination with a solid theoretical basis (lambda-calculus) makes it an excellent medium for representing intermediate code. 0 Introduction: The main goal of the project was to study the techniques used in transforming a... (Update)

Active bibliography (related documents):   More   All
0.6:   The Scheme of Things: Implementing Lexically Scoped Macros - Rees (1993)   (Correct)
0.2:   Syntactic Abstraction in Scheme - Hieb, Dybvig, Bruggeman (1992)   (Correct)
0.1:   Quasiquotation in Lisp - Alan Bawden Bawden (1999)   (Correct)

Similar documents based on text:   More   All
1.2:   A Formalisation of Encapsulated Modification of Objects - Mens, De Volder, Mens (1996)   (Correct)
1.2:   Incremental Design of Layered State Diagrams - Mens, Steyaert (1997)   (Correct)
1.1:   A survey on formal models for OO - Mens (1994)   (Correct)

BibTeX entry:   (Update)

@misc{ volder-continuationpassingstyle,
  author = "Kris De Volder",
  title = "Continuation-Passing-Style as an Intermediate Representation for Compiling
    Scheme",
  url = "citeseer.ist.psu.edu/devolder94continuationpassingstyle.html" }
Citations (may not include all citations):
430   Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985
254   Revised 4 Report on the Algorithmic Language Scheme - Clinger, Rees et al. - 1991
9   Writing Hygienic Macros in Scheme with Syntax-Case - Dybvig - 1992
6   Hygienic Macros Through Explicit Renaming - Clinger - 1991
2   Lisp Pointers IV (context) - Clinger - 1991
1   Techniques and Tools; Addison-Wessley (context) - Aho, Sethi et al. - 1986
1   The Implementation of PC Scheme; ACM Conf (context) - Bartley, Jensen - 1986
1   Scheme and the Art of Programming (context) - Springer, Friedman - 1989
1   Control Flow Analysis in Scheme; Proceedings of the SIGPLAN .. (context) - Shivers - 1988
1   Rabbit: a Compiler for Scheme; MIT AI Memo 474; Cambridge (context) - Steele - 1978
1   ORBIT: An Optimizing Compiler for Scheme; Proceedings of SIG.. (context) - Kranz - 1986
1   Compiler Optimisation Based on Viewing LAMBDA as RENAME + GO.. (context) - Steele - 1980
1   Scheme an Uncommon Lisp (context) - Norvig - 1992
1   HARE: An Optimising Portable Compiler for Scheme (context) - Teodosiu - 1991
1   Revised 3 Report on the Algorithmic Language Scheme; ACM SIG.. (context) - Rees, Clinger - 1986

Documents on the same site (http://www.cs.ubc.ca/~kdvolder/):
Type Oriented Logic Meta Programming for Java - De Volder (1998)   (Correct)
Explicit Programming: Improving the Design Vocabulary of.. - Demonstration Avi Bryant (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