Staging transformations for abstract machines

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 1991, Pages 130-141

  Hannan, John ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); METADATA; PROGRAM INTERPRETERS; SEMANTICS; SEPARATION;

ABSTRACT MACHINES; LAMBDA CALCULUS; MACHINE ARCHITECTURES; OPERATIONAL SEMANTICS; PARTIAL EVALUATION; SEPARATION PROCESS; TERM REWRITING SYSTEMS; VALUE EVALUATIONS;

PROGRAM COMPILERS;

EID: 85054792296     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/115865.115879     Document Type: Conference Paper

References (15)

1. BONDORF, A. Automatic autoprojection of higher order recursive equations. In ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 1990. (Lecture Notes in Computer Science, vol. 432) (1990), N. D. Jones, Ed., Springer-Verlag, pp. 70-87.
2. BONDORF, A., AND DANVY, O. Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. Tech. Rep. 90/4, DIKU, University of Copenhagen, 1990.
3. COUSINEAU, G., CURIEN, P., AND MAUNY, M. The categorical abstract machine. The Science of Programming 8, 2(1987), 173-202.
4. HANNAN, J., AND MILLER, D. From operational semantics to abstract machines: preliminary results. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming (1990), M. Wand, Ed., ACM, ACM Press, pp. 323-332.
5. HOLST, N. C. K., AND HUGHES, J. Towards binding time improvements for free. In Third Annual Glasgow Workshop on Functional Programming, Draft Proceedings, Ullapool, Scotland (Aug. 1990), pp. 135-144.
6. JONES, N., Ed. Semantics-Directed Compiler Generation. Vol. 94 of Lecture Notes in Computer Science, Springer-Verlag, 1980.
7. JONES, N., SESTOFT, P., and SONDERGAARD, H. MIX: a self-applicable partial evaluator for experiments in compiler generation. Journal of LISP and Symbolic Computation 2, 1 (1989.), 9-50.
8. JØRRING, U., AND SCHERLIS, W. Compilers and staging transformations. In Thirteenth A CM Symposium on Principles of Programming Languages (1986), pp. 86-96.
9. KELSEY, R., AND HUDAK, P. Realistic compilation by program transformation. In Sixteenth ACM Symposium on Principles of Programming Languages (1989), pp. 281-292.
10. KURSAWE, P. How to invent a prolog machine. New Generation Computing 5(1987), 97-114.
11. LANDIN, P. J. The mechanical evaluation of expressions. Computer Journal 6, 5(1964), 308-320.
12. LEE, P. Realistic Compiler Generation. MIT Press, Cambridge, MA, 1989.
13. PAULSON, L. A semantics-directed compiler generator. In Proceedings of the ACM Conference on Principles of Programming Languages (1982), p. 224.
14. WAND, M. Deriving target code as a representation of continuation semantics. ACM Trans. on Programming Languages and Systems 4, 3(1982), 496-517.
15. WAND, M. Semantics-directed machine architecture. In 9th ACM Symposium on Principles of Programming Languages (1982), pp. 234-241.