This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Bulyonkov, M. A. Polyvariant mixed computation for analyzer programs. Acta Informatica 21, (1984), pp. 473–484.
Dybkjær, Hans. Parsers and partial evaluation: An experiment. DIKU Student Report 85-7-15 (July 1985). 128 pp.
Emanuelson, Pär & Anders Haraldsson. On compiling embedded languages in LISP. In Conf. Rec. of the 1980 LISP Conference, Stanford, California, pp. 208–215.
Ershov, Andrei P. On the essence of compilation. In Neuhold, E. J. (ed.): Formal Description of Programming Concepts, North-Holland, 1978, pp. 391–420.
Ershov, Andrei P. Mixed computation: Potential applications and problems for study. Theoretical Computer Science 18 (1982), pp. 41–67.
Futamura, Yoshihiko. Partial evaluation of computation process — an approach to a compiler-compiler. Systems, Computers, Controls 2, no. 5 (1971), pp. 45–50.
Futamura, Yoshihiko. Partial computation of programs. Proc. RIMS Symp. Software Science and Engineering, Kyoto, Japan, 1982. Springer LNCS 147 (1983), pp. 1–35.
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.
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).
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).
Jones, Neil D. & Mads Tofte. Some principles and notations for the construction of compiler generators. Unpublished working paper, DIKU, July 29, 1983. 15 pp.
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.
Kleene, S. C. Introduction to Metamathematics. Van Nostrand, 1952.
[Sestoft, Peter]. The Mix system: User manual and short description. DIKU, April 26th, 1985. 14 pp.
Turchin, Valentin F. A supercompiler system based on the language REFAL. SIGPLAN Notices 14, no. 2 (February 1979), pp. 46–54.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sestoft, P. (1986). The structure of a self-applicable partial evaluator. In: Ganzinger, H., Jones, N.D. (eds) Programs as Data Objects. Lecture Notes in Computer Science, vol 217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16446-4_14
Download citation
DOI: https://doi.org/10.1007/3-540-16446-4_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16446-3
Online ISBN: 978-3-540-39786-1
eBook Packages: Springer Book Archive