An experiment in partial evaluation: The generation of a compiler generator

  • Neil D. Jones
  • Peter Sestoft
  • Harald Søndergaard
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 202)


Residual Program Function Call Partial Evaluation Symbolic Execution Source Program 
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.

8. References

  1. [Bec76]
    Beckman, L. et al, A partial evaluator, and its use as a programming tool, Art. Int. 7,4 (1976) 319–357Google Scholar
  2. [BuD77]
    Burstall, R. & J. Darlington, A transformation system for developing recursive programs, JACM 24,1 (1977) 44–67Google Scholar
  3. [ChJ83]
    Christiansen, H. & N. D. Jones, Control flow treatment in a simple semantics-directed compiler generator, in Proc. IFIP WG 2.2: Formal Description of Programming Concepts II (D. Bjørner, ed.) 73–99, North-Holland 1983Google Scholar
  4. [EmH80]
    Emanuelson, P. & A. Haraldsson, On compiling embedded languages in Lisp, Proc. 1980 ACM Lisp Conference, Stanford, California (1980) 208–215Google Scholar
  5. [Ers77]
    Ershov, A., On the partial evaluation principle, Inf. Proc. Letters 6,2 (April 1977) 38–41Google Scholar
  6. [Ers82]
    Ershov, A., Mixed computation: potential applications and problems for study, Theor. Comp. Sci. 18 (1982) 41–67Google Scholar
  7. [Fut71]
    Futamura, Y., Partial evaluation of computation process — an approach to a compiler-compiler, Systems, Computers, Controls 2,5 (1971) 45–50Google Scholar
  8. [Fut83]
    Futamura, Y., Partial computation of programs, in LNCS 147: Proc. RIMS Symp. Software Science and Engineering, Kyoto, Japan (1982) 1–35, Springer 1983Google Scholar
  9. [HoA72]
    Hoare, C. & D. Allison, Incomputability, Comp. Surveys 4,3 (September 1972) 169–178Google Scholar
  10. [Kah83]
    Kahn, K., A Partial Evaluator of Lisp Written in Prolog, UPMAIL Technical Report no. 17, University of Uppsala, Sweden (1983)Google Scholar
  11. [KaC84]
    Kahn, K. & M. Carlsson, The compilation of Prolog programs without the use of a Prolog compiler, Proc. Int. Conf. Fifth Generation Computer Systems, Tokyo, Japan (1984) 348–355Google Scholar
  12. [Kom82]
    Komorowski, H. J., Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of Prolog, Proc. 9th ACM POPL Symp., Albuquerque, New Mexico (1982) 255–267Google Scholar
  13. [Mos79]
    Mosses, P., SIS — Semantics Implementation System, Reference Manual and User Guide, DAIMI MD-30, University of Aarhus, Denmark (1979)Google Scholar
  14. [Pau82]
    Paulson, L., A semantics-directed compiler generator, Proc. 9th ACM POPL Symp., Albuquerque, New Mexico (1982) 224–233Google Scholar
  15. [Rog67]
    Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill 1967Google Scholar
  16. [Set81]
    Sethi, R., Control Flow Aspects of Semantics Directed Compiling, Technical report, Bell Labs, Murray Hill, New Jersey (1981)Google Scholar
  17. [Tur80]
    Turchin, V., Semantic definitions in REFAL and the automatic production of compilers, in LNCS 94: Semantics-Directed Compiler Generation (N. D. Jones, ed.) 441–474, Springer 1980Google Scholar
  18. [Tur82]
    Turchin, V. et al, Experiments with a supercompiler, Proc. 1982 ACM Symp. on Lisp and Functional Programming, Pittsburgh, Pennsylvania (1982) 47–55Google Scholar
  19. [War77]
    Warren, D., Implementing Prolog — Compiling Predicate Logic Programs, DAI Research Report nos. 39–40, University of Edinburgh, Scotland (1977)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Neil D. Jones
    • 1
  • Peter Sestoft
    • 1
  • Harald Søndergaard
    • 1
  1. 1.DIKUUniversity of CopenhagenCopenhagen N.Denmark

Personalised recommendations