Bootstrapping higher-order program transformers from interpreters

Proceedings of the ACM Symposium on Applied Computing

Volumn Part F128723, Issue , 1996, Pages 408-413

  Sperber, Michael ^a   Glück, Robert ^b   Thiemann, Peter ^a  

^a UNIVERSITY OF TÜBINGEN   (Germany)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Higher order programming; Meta programrning; Partial evaluation; Program transformation

Indexed keywords

COMPUTATION THEORY;

FUNCTIONAL LANGUAGES; HIGHER ORDER PROGRAMMING; HIGHER-ORDER PROGRAMS; INTERPRETIVE APPROACHES; META PROGRAMRNING; PARTIAL EVALUATION; PROGRAM TRANSFORMATIONS; TRANSFORMATION EFFECTS;

PROGRAM INTERPRETERS;

EID: 0012583201     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/331119.331417     Document Type: Conference Paper

References (35)

1. APPEL, A. W. Compiling with Continuations. Cambridge University Press, 1992.
2. APPEL, A. W., AND JIM, T. Continuation-passing, closure-passing style. In Proc. 16th ACM Symposium on Principles of Programming Languages (1989), pp. 293-302.
3. BONDORF, A. Automatic autoprojection of higher order recursive equations. In European Symposium on Programming 1990 (Copenhagen, Denmark, 1990), N. D. Jones, Ed., Springer-Verlag, pp. 70-S7. LNCS 432.
4. BONDORF, A. SimUix 5.0 Manual. DDCU, University of Copenhagen, May 1993.
5. BONDORF, A., AND DANVY, O. Automatic autoprojection of recursive equations with global variables and abstract data types. Sci. Comput. Programming 19,2 (1991), 151-195.
6. BONDORF, A., AND JORGENSEN, J. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming 3,3 (July 1993), 315-346.
7. CHIN, W.-N. Fully lazy higher-order removal. In Workshop Partial Evaluation and Semantics-Based Program Manipulation '92 (San Francisco, CA, June 1992), C. Consel, Ed., Yale University, pp. 38-47, Report YALEU/DCS/RR-909.
8. CHIN, W.-N., AND DARLINGTON, J. Higher-order removal transformation technique for functional programs. In Proc. of 15th Australian Computer Science Conference (Hobart, Tasmania, Jan. 1992), pp. 181-194. Australian CS Comm Vol 14, No 1.
9. CONSEL, C. New insights into partial evaluation: the Schism experiment. In ESOP '88 (Nancy, France, 1988), vol'. 300 of Lecture Notes in Computer Science, Springer-Verlag, pp. 236-246.
10. CONSEL, C. Binding time analysis for higher order untyped functional languages. In Symp. Lisp and Functional Programming '92 (San Francisco, Ca., June 1992), ACM, pp. 264-272.
11. CONSEL, C. A tour of Schism. In PEPM1993 [27], pp. 134-154.
12. CONSEL, C, AND DANVY, O. Static and dynamic semantics processing. In Symposium on Principles of Programming Languages' 91 (Jan. 1991), ACM, pp. 14-24.
13. FRIEDMAN, D. P., WAND, M., AND HAYNES, C. T. Essentials of programming languages. MIT Press, Cambridge, MA, 1992.
14. FUTAMURA, Y. Partial evaluation of computation process-an approach to a compiler-compiler. Systems, Computers, Controls 2,5 (1971), 45-50.
15. FUTAMURA, Y., NOGI, K., AND TAKANO, A. Essence of generalized partial computation. Theoretical Commit. Sci. 90,1 (1991), 61-79.
16. GLÜCK, R. On the generation of specializers. Journal of Functional Programming 4,4 (Oct. 1994), 499-514.
17. GLÜCK, R., AND JORGENSEN, J. Generating optimizing specializers. In IEEE International Conference on Computer Languages (1994), IEEE Computer Society Press, pp. 183194.
18. GLÜCK, R., AND KLIMOV, A. V. Occam's razor in meta-computation: the notion of a perfect process tree. In Static Analysis (1993), vol. 724 of Lecture Notes in Computer Science, Springer-Verlag, pp. 112-123.
19. GLÜCK, R., AND JORGENSEN, J. Generating transformers for deforestation and supercompilation. In Static Analysis (1994), B. Le Chartier, Ed., vol. 864 of Lecture Notes in Computer Science, Springer-Verlag, pp. 432-448.
20. IEEE. Standard for the Scheme programming language. Tech. Rep. 1178-1990, Institute of Electrical and Electronic Engineers, Inc., New York, 1991.
21. JONES, N. D., GOMARD, C. K., AND SESTOFT, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
22. JORGENSEN, J. Compiler generation by partial evaluation. Master's thesis, DÖCU, University of Copenhagen, 1991.
23. JORGENSEN, J. Generating a compiler for a lazy language by partial evaluation. In Symposium on Principles of Programming Languages '92 (Jan. 1992), ACM, ACM,. pp. 258-268.
24. LAUNCHBURY, J. Projection Factorisations in Partial Evaluation, vol. 1 of Distinguished Dissertations in Computer Science. Cambridge University Press, 1991.
25. MOGENSEN, T. Separating binding times in language specifications. In Proc. Functional Programming Languages and Computer Architecture 1989 (London, GB, 1989), pp. 14-25.
26. OGENSEN, T. Self-applicable online partial evaluation of pure lambda calculus. In Scherlis [31], pp. 39-44.
27. Proc. 1993 ACM Symp. Partial Evaluation and Semantics-Based Program Manipulation (Copenhagen, Denmark, June 1993), ACM.
28. REYNOLDS, J. C. Definitional interpreters for higher-order programming. In ACM Annual Conference (July 1972), pp. 717-740.
29. ROMANENKO, S. A. A compiler generator produced by a self-applicable specializer can have a surprisingly natural and understandable structure. In Partial Evaluation and Mixed Computation (1987), D. Bjorner, A. P. Ershov, and N. D. Jones, Eds., North-Holland, pp. 445-464. Proceedings of the MP TC2 Workshop on Partial Evaluation and Mixed Computation.
30. RUF, E. Topics in Online Partial Evaluation. PhD thesis, Stanford University, Stanford, CA 94305-4055, Mar. 1993. Technical report CSL-TR-93-563.
31. SCHERLIS, W., Ed. ACM SIGPLAN Symp. Partial Evaluation and Semantics-Based Program Manipulation '95 (La Jolla, CA, June 1995), ACM Press.
32. THIEMANN, P., AND GLÜCK, R. The generation of a higher-order online partial evaluator. In Fuji Workshop on Functional and Logic Programming (Fuji Susono, Japan, July 1995), M. Takeichi, Ed., World Scientific Press, Singapore.
33. TURCHIN, V. F. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems 8, 3 (July 1986), 292-325.
34. TURCHIN, V. F. Program tranformation with metasystem transitions. Journal of Functional Programming 3, 3 (July 1993), 283-313.
35. WEISE, D., CONYBEARE, R., RUF, E., AND SELIGMAN, S. Automatic online partial evaluation. In Conf. Functional Programming languages and Computer Architecture '91 (Cambridge, Sept 1991), ACM, pp. 165-191.