Reasoning about hierarchies of online program specialization systems

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

Volumn 1110, Issue , 1996, Pages 161-182

  Hatcliff, John ^a   Glück, Robert ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); SEMANTICS;

BINDING TIME ANALYSIS; ENCODING SCHEMES; FUNDAMENTAL OPERATIONS; META PROGRAMMING; NUMERICAL INDEX; ONLINE PROGRAMS; OPERATIONAL SEMANTICS; UNKNOWN VALUES;

ONLINE SYSTEMS;

EID: 0347737043     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61580-6_9     Document Type: Conference Paper

References (28)

1. S.M. Abramov. Metavychislenija i ikh prilozhenija (Metacomputation and its applications). Nauka, Moscow, 1995. (In Russian).
2. Jonas Barklund. A basis for a multilevel metalogic programming language. Technical Report 81, Uppsala University, Dept. of Computing Science, 1994.
3. Jonas Barklund. Metaprogramming in logic. Technical Report 80, Uppsala University, Dept. of Computing Science, 1994.
4. Charles Consel and Siau Cheng Khoo. Parameterized partial evaluation. ACM TOPLAS, 15(3):463-493, 1993.
5. Hiroshi Fujita and Koichi Furukawa. A self-applicable partial evaluator and its use in incremental compilation. New Generation Computing, 6(2-3):91-118, June 1988.
6. Robert Gliick. Towards multiple self-application. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 309-320, New Haven, Connecticut, 1991. ACM Press.
7. Robert Gluck. On the mechanics of metasystem hierarchies in program transformation. In M. Proietti, editor, Logic Program Synthesis and Transformation (LoPSTr'95), volume 1048 of Lecture Notes in Computer Science, pages 234-251. Springer-Verlag, 1996.
8. Robert Gliick and Jesper Jorgensen. Efficient multi-level generating extensions for program specialization. In S.D. Swierstra and M. Hermenegildo, editors, Programming Languages: Implementations, Logics and Programs (PLILP'95), volume 982 of Lecture Notes in Computer Science, pages 259-278. Springer-Verlag, 1995.
9. Robert Gluck and Andrei V. Klimov. Occam's razor in metacomputation: the notion of a perfect process tree. In P. Cousot, M. Falaschi, G. File, and G. Rauzy, editors, Static Analysis. Proceedings. Lecture Notes in Computer Science, Vol. 724, pages 112-123. Springer-Verlag, 1993.
10. Robert Gluck and Valentin F. Turchin. Application of metasystem transition to function inversion and transformation. In Proceedings of the ISSAC '90 (Tokyo, Japan), pages 286-287. ACM Press, 1990.
11. Corin A. Gurr. A self-applicable partial evaluator for the logic programming language Gadel. Ph.d. thesis, University of Bristol, 1994.
12. Patricia Hill and John Gallagher. Meta-programming in logic programming. Technical Report 94.22, School of Computer Studies, University of Leeds, 1994.
13. Patricia Hill and John W. Lloyd. The G5del Programming Language. MIT Press, Cambridge, Massachusetts, 1994.
14. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
15. Neil D. Jones, Peter Sestoft, and Harald SOndergaard. An experiment in partial evaluation: the generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, France. Lecture Notes in Computer Science 202, pages 124-140. Springer-Verlag, 1985.
16. Neil D. Jones, Peter Sestoft, and Harald Sondergaard. Mix: a self-applicable partial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(1):9-50, 1989.
17. Andrei Nemytykh, Victoria Pinchuck, and Valentin F. Turchin. A self-applicable supercompiler. In Olivier Danvy, Robert Gluck, and Peter Thiemann, editors, Partial Evaluation. Proceedings, Lecture Notes in Computer Science, page to appear. Springer-Verlag, 1996.
18. Flemming Nielson and Hanne R. Nielson. Multi-level lambda-calculi: an algebraic description. In Olivier Danvy, Robert Gluck, and Peter Thiemann, editors, Partial Evaluation. Proceedings, Lecture Notes in Computer Science, page to appear. Springer-Verlag, 1996.
19. Eric Ruf and Daniel Weise. On the specialization of online program specializers. Journal of Functional Programming, 3(3):251-281, 1993
20. Michael Sperber. Self-applicable online partial evaluation. In Olivier Danvy, Robert Gluck, and Peter Thiemann, editors, Partial Evaluation. Proceedings, Lecture Notes in Computer Science, page to appear. Springer-Verlag, 1996.
21. Valentin F. Turchin. A supercompiler system based on the language Refal. SIG-PLAN Notices, 14(2):46-54, 1979.
22. Valentin F. Turchin. The language Refal, the theory of compilation and metasys-tem analysis. Courant Computer Science Report 20, Courant Institute of Mathematical Sciences, New York University, Feb. 1980 1980.
23. Valentin F. Turchin. The concept of a supercompiler. Transactions on Programming Languages and Systems, 8(3):292-325, 1986.
24. Valentin F. Turchin. Refal-5, Programming Guide and Reference Manual. New England Publishing Co., Holyoke, Massachusetts, 1989.
25. Valentin F. Turchin. Program transformation with metasystem transitions. Journal of Functional Programming, 3(3):283-313, 1993.
26. V.F. Turchin. Programmirovanie na jazyke Refal: I. Neformal'noe vvedenie v pro-grammirovanie na jazyke Refal. (Programming in the language Refal: I. Informal introduction to programming in the language Refal). Preprint 41, Institute of Applied Mathematics, Academy of Sciences of the USSR, Moscow, 1971. (In Russian).
27. V.F. Turchin and A.P. Nemytykh. Metavariables: their implementation and use in program transformation. Technical Report CSc. TR 95-012, City College of the City University of New York, 1995.
28. Frank van Harmelen. Definable naming relations in meta-level systems. In A. Pettorossi, editor, Meta-Programming in Logic. Proceedings, volume 649 of Lecture Notes in Computer Science, pages 89-104, Uppsala, Sweden, 1992. Springer-Verlag.