This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
8. References
Beckman, L. et al, A partial evaluator, and its use as a programming tool, Art. Int. 7,4 (1976) 319–357
Burstall, R. & J. Darlington, A transformation system for developing recursive programs, JACM 24,1 (1977) 44–67
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 1983
Emanuelson, P. & A. Haraldsson, On compiling embedded languages in Lisp, Proc. 1980 ACM Lisp Conference, Stanford, California (1980) 208–215
Ershov, A., On the partial evaluation principle, Inf. Proc. Letters 6,2 (April 1977) 38–41
Ershov, A., Mixed computation: potential applications and problems for study, Theor. Comp. Sci. 18 (1982) 41–67
Futamura, Y., Partial evaluation of computation process — an approach to a compiler-compiler, Systems, Computers, Controls 2,5 (1971) 45–50
Futamura, Y., Partial computation of programs, in LNCS 147: Proc. RIMS Symp. Software Science and Engineering, Kyoto, Japan (1982) 1–35, Springer 1983
Hoare, C. & D. Allison, Incomputability, Comp. Surveys 4,3 (September 1972) 169–178
Kahn, K., A Partial Evaluator of Lisp Written in Prolog, UPMAIL Technical Report no. 17, University of Uppsala, Sweden (1983)
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–355
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–267
Mosses, P., SIS — Semantics Implementation System, Reference Manual and User Guide, DAIMI MD-30, University of Aarhus, Denmark (1979)
Paulson, L., A semantics-directed compiler generator, Proc. 9th ACM POPL Symp., Albuquerque, New Mexico (1982) 224–233
Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill 1967
Sethi, R., Control Flow Aspects of Semantics Directed Compiling, Technical report, Bell Labs, Murray Hill, New Jersey (1981)
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 1980
Turchin, V. et al, Experiments with a supercompiler, Proc. 1982 ACM Symp. on Lisp and Functional Programming, Pittsburgh, Pennsylvania (1982) 47–55
Warren, D., Implementing Prolog — Compiling Predicate Logic Programs, DAI Research Report nos. 39–40, University of Edinburgh, Scotland (1977)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jones, N.D., Sestoft, P., Søndergaard, H. (1985). An experiment in partial evaluation: The generation of a compiler generator. In: Jouannaud, JP. (eds) Rewriting Techniques and Applications. RTA 1985. Lecture Notes in Computer Science, vol 202. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15976-2_6
Download citation
DOI: https://doi.org/10.1007/3-540-15976-2_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15976-6
Online ISBN: 978-3-540-39679-6
eBook Packages: Springer Book Archive