From interpreter to compiler: A representational derivation

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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 1986

Authors and Affiliations

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

Personalised recommendations