From interpreter to compiler: A representational derivation

  • Mitchell Wand
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 217)


Virtual Machine Abstract Syntax Conventional Machine Denotational Semantic Machine Code 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Clinger 84]
    Clinger, W. “The Scheme 311 Compiler: An Exercise in Denotational Semantics,” Conf. Rec. 1984 ACM Symposium on Lisp and Functional Programming (August, 1984), 356–364.Google Scholar
  2. [Reynolds 72]
    Reynolds, J.C. “Definitional Interpreters for Higher-Order Programming Languages,” Proc. ACM Nat'l. Conf. (1972), 717–740.Google Scholar
  3. [McCarthy 62]
    McCarthy, J. “Towards a Mathematical Science of Computation,” Information Processing 62 (Popplewell, ed.) Amsterdam:North Holland, 1962, 21–28.Google Scholar
  4. [Wand 80]
    Wand, M. “Continuation-Based Program Transformation Strategies,” J. ACM 27 (1980), 164–180.Google Scholar
  5. [Wand 82a]
    Wand, M. “Semantics-Directed Machine Architecture” Conf. Rec. 9th ACM Symp. on Principles of Prog. Lang. (1982), 234–241.Google Scholar
  6. [Wand 82b]
    Wand, M. “Deriving Target Code as a Representation of Continuation Semantics” ACM Trans. on Prog. Lang. and Systems 4, 3 (July, 1982) 496–517.Google Scholar
  7. [Wand 83]
    Wand, M. “Loops in Combinator-Based Compilers,” Conf. Rec. 10th ACM Symposium on Principles of Programming Languages (1983), 190–196.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Mitchell Wand
    • 1
  1. 1.College of Computer ScienceNortheastern UniversityBostonUSA

Personalised recommendations