Similix: A self-applicable partial evaluator for scheme

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

Volumn 1706, Issue , 1999, Pages 83-107

  Jørgensen, Jesper ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTINUATION-PASSING STYLE; FUNCTIONAL LANGUAGES; INPUT/OUTPUT OPERATIONS; PARTIAL EVALUATION; RESIDUAL PROGRAMS; TERMINATION PROPERTY; USER ANNOTATIONS; USER ASSISTANCE;

EDUCATION;

EID: 84958682557     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47018-2_3     Document Type: Conference Paper

References (36)

1. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94/19).
2. Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Technical Report 90-4, DIKU, University of Copenhagen, Denmark, 1990.
3. Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming, 16:151-195, 1991.
4. Anders Bondorf and Jesper Jorgensen. Efficient analyses for realistic off-line partial evaluation: extended version. Technical Report 93/4, DIKU, University of Copenhagen, Denmark, 1993.
5. Anders Bondorf and Jesper Jtfrgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, special issue on partial evaluation, 3(3):315-346, 1993.
6. Anders Bondorf. Automatic autoprojection of higher order recursive equations. In Neil D. Jones, editor, ESOP'90, Copenhagen, Denmark. LNCS 432, pages 70-87. Springer-Verlag, May 1990.
7. Anders Bondorf. Self-Applicable Partial Evaluation. PhD thesis, DIKU, University of Copenhagen, Denmark, 1990.
8. Anders Bondorf. Automatic autoprojection of higher order recursive equations. Science of Computer Programming, 17(l3):3-34, December 1991. Revision of paper in ESOP'90, LNCS 432, May 1990.
9. Anders Bondorf. Compiling laziness by partial evaluation. pages 9-22, 1991.
10. Anders Bondorf. Improving binding times without explicit cps-conversion. In 1992 ACM Conference on Lisp and Functional Programming. San Francisco, California. LISP Pointers, vol. 5, no. 1, pages 1-10, June 1992.
11. Anders Bondorf. Similix 5.0 Manual. DIKU, University of Copenhagen, Denmark, May 1993. Included in Similix distribution, 82 pages.
12. Anders Bondorf and Jens Palsberg. Compiling actions by partial evaluation. In FPCA '93, Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark, pages 308-317. ACM, June 1993.
13. Lars Birkedal and Morten Welinder. Hand-writing program generator generators. In M. Hermenegildo and J. Penjam, editors, Programming Language Implementation and Logic Programming. Proceedings, volume 844 of LNCS, pages 198-214, Madrid, Spain, 1994. Springer-Verlag.
14. Charles Consel. Analyse de programmes, Evaluation partidle et Generation de compilateurs. PhD thesis, LITP, University of Paris 6, France, June 1989. In French.
15. Charles Consel. A tour of Schism: a partial evaluation system for higher-order applicative languages. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 145-154. ACM Press, 1993.
16. Yoshihiko Futamura and Kenroku Nogi. Generalized partial computation. In Dines Bj0rner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 133-151. North-Holland, 1988.
17. Carsten K. Gomard and Neil D. Jones. A partial evaluator for the untyped lambda calculus. Journal of Functional Programming, l(l):21-69, January 1991.
18. Robert Gliick and Jesper jorgensen. Generating optimizing specializers. In IEEE International Conference on Computer Languages, pages 183-194. IEEE Computer Society Press, 1994.
19. Robert Gliick and Jesper jorgensen. Generating transformers for deforestation and supercompilation. In B. Le Charlier, editor, Static Analysis. Proceedings, volume 864 of LNCS, pages 432-448, Namur, Belgium, 1994. Springer-Verlag.
20. Robert Gliick and Jesper Jorgensen. An automatic program generator for multilevel specialization. LISP and Symbolic Computation, 10(2):113-158, 1997.
21. Carsten K. Gomard. Higher order partial evaluation - hope for the lambda calculus. Master's thesis, DIKU, University of Copenhagen, Denmark, student report 89-911, September 1989.
22. Sheila Harnett and Margaret Montenyohl. Towards effecient compilation of a dynamic object-oriented language. In Charles Consel, editor, PEPM'92, ACM SIG-PLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 82-89, June 1992.
23. Carsten Kehler Hoist. Language triplets: the Amix approach. In Dines Bjorner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 167-185. North-Holland, 1988.
24. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
25. Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Hoist, editors. Functional Programming, Glasgow 1990. Workshops in Computing. Springer-Verlag, August 1991.
26. Jesper J0rgensen and Michael Leuschel. Efficiently generating efficient generating extensions in Prolog. In O. Danvy, R. Gliick, and P. Thiemann, editors, Proceedings Dagstuhl Seminar on Partial Evaluation, pages 263-283, Schloss Dagstuhl, Germany, February 1996. Springer-Verlag.
27. Jesper jorgensen. Generating a pattern matching compiler by partial evaluation. In [25], pages 177-195, 1991.
28. Jesper jrgensen. Compiler generation by partial evaluation. Master's thesis, DIKU, University of Copenhagen, Denmark, University of Copenhagen, Denmark, Jan 1992.
29. Jesper jorgensen. Generating a compiler for a lazy language by partial evaluation. In Nineteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. Albuquerque, New Mexico, pages 258-268, January 1992.
30. Neil D. Jones, Peter Sestoft, and Harald S0ndergaard. An experiment in partial evaluation: the generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, Dijon, France. LNCS 202, pages 124-140. Springer-Verlag, 1985.
31. Karolinę Malmkjar. Predicting properties of residual programs. In Charles Consel, editor, PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 8-13, June 1992. Available as Technical Report YALEU/DCS/RR-909 from Yale University.
32. Christian Mossin. Similix binding time debugger manual, system version 4.0. Included in Similix distribution, September 1991.
33. Christian Mossin. Partial evaluation of general parsers (extended abstract). In David Schmidt, editor, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 1993.
34. Bernhard Rytz and Marc Gengler. A polyvariant binding time analysis. In Charles Consel, editor, PEPM'92, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 21-28, June 1992. Available as Technical Report YALEU/DCS/RR-909 from Yale University.
35. Michael Sperber and Peter Thiemann. The essence of LR parsing. In PEPM'95, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 146-155. ACM, ACM Press, june 1995.
36. Valentin F. Turchin. The concept of a supercompiler. Transactions on Programming Languages and Systems, 8(3):292-325, 1986.