The structure of a self-applicable partial evaluator

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 217 LNCS, Issue , 1986, Pages 236-256

  Sestoft, Peter ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84971818250     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-16446-4_14     Document Type: Conference Paper

References (16)

1. Bulyonkov, M. A. Polyvariant mixed computation for analyzer programs. Acta Informatica 21, (1984), pp. 473–484.
2. Dybkjær, Hans. Parsers and partial evaluation: An experiment. DIKU Student Report 85-7-15 (July 1985). 128 pp.
3. Emanuelson, Pär & Anders Haraldsson. On compiling embedded languages in LISP. In Conf. Rec. of the 1980 LISP Conference, Stanford, California, pp. 208–215.
4. Ershov, Andrei P. On the essence of compilation. In Neuhold, E. J. (ed.): Formal Description of Programming Concepts, North-Holland, 1978, pp. 391–420.
5. Ershov, Andrei P. Mixed computation: Potential applications and problems for study. Theoretical Computer Science 18 (1982), pp. 41–67.
6. Futamura, Yoshihiko. Partial evaluation of computation process — an approach to a compiler-compiler. Systems, Computers, Controls 2, no. 5 (1971), pp. 45–50.
7. Futamura, Yoshihiko. Partial computation of programs. Proc. RIMS Symp. Software Science and Engineering, Kyoto, Japan, 1982. Springer LNCS 147(1983), pp. 1–35.
8. Haraldsson, Anders. A partial evaluator and its use for compiling iterative statements in LISP. In Conf. Rec. of the 5th ACM POPL, Tucson, Arizona, 1978, pp. 195–203.
9. Jones, Neil D. & Alan Mycroft. Data flow analysis using minimal function graphs. In Conf. Rec. of the 13th ACM POPL, St. Petersburg, Florida, 1986. (To appear).
10. Jones, Neil D., Peter Sestoft & Harald Søndergaard. An experiment in partial evaluation: The generation of a compiler generator. In Proc. 1st Intl. Conf. on Rewriting Techniques and Applications, Dijon, France, 1985. Springer LNCS 202 (1985), pp. 124–140. (A preliminary version appeared as DIKU Report 85/1, January 1985).
11. Jones, Neil D. & Mads Tofte. Some principles and notations for the construction of compiler generators. Unpublished working paper, DIKU, July 29, 1983. 15 pp.
12. Kahn, Kenneth M. & Mats Carlsson. The compilation of Prolog programs without the use of a Prolog compiler. In Proc. of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, 1984, ICOT, 1984, pp. 348–355.
13. Kleene, S. C. Introduction to Metamathematics. Van Nostrand, 1952.
14. [Sestoft, Peter]. The Mix system: User manual and short description. DIKU, April 26th, 1985. 14 pp.
15. Turchin, Valentin F. A supercompiler system based on the language REFAL. SIGPLAN Notices 14, no. 2 (February 1979), pp. 46–54.
16. Turchin, Valentin F. Semantic definitions in REFAL and the automatic construction of compilers. In Jones, Neil D. (ed.): Semantics Directed Compiler Generation. Springer LNCS 94, (1980), pp. 441–474.