Transformation by interpreter specialisation

Science of Computer Programming

Volumn 52, Issue 1-3, 2004, Pages 307-339

  Jones, Neil D ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; OPTIMIZATION; POLYNOMIALS; PROBLEM SOLVING; PROGRAM INTERPRETERS;

EXPONENTIAL-TIME PROGRAMS; PROGRAM TRANSFORMATION; SPECIALIZATION;

COMPUTER PROGRAMMING;

EID: 3042733953     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2004.03.010     Document Type: Article

References (41)

1. Acar U.A.A., Blelloch G.E., Harper R. Selective memoization. Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2003;14-25 ACM Press.
2. Ager M.S., Danvy O., Rohde H.K. Fast partial evaluation of pattern matching in strings. Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. 2003;3-9 ACM Press.
3. Andersen L.O., Gomard C.K. Speedup analysis in partial evaluation (preliminary results). Partial Evaluation and Semantics-Based Program Manipulation. New Haven, Connecticut (Sigplan Notices, vol. 26, no. 9, September 1991) :1992;1-7.
4. Asai K., Matsuoka S., Yonezawa A. Duplication and partial evaluation - for a better understanding of reflective languages - . Lisp and Symbolic Computation. 9:1996;203-241.
5. Bird R.S. Improving programs by the introduction of recursion. Communications of the ACM. 20:(11):1977;856-863.
6. Chin W.-N., Khoo S.-C., Thiemann P. Synchronization analyses for multiple recursion parameters (extended abstract). Selected Papers from the International Seminar on Partial Evaluation. 1996;33-53 Springer-Verlag.
7. Consel C., Danvy O. Partial evaluation of pattern matching in strings. Information Processing Letters. 30:(2):1989;79-86.
8. Consel C., Lawall J.L., Le Meur A.-F. A tour of Tempo: a program specializer for the C language, Science of Computer Programming (this issue). doi: 10.1016/j.scico.2004.03.011.
9. Danvy O., Glück R., Thiemann P. Partial Evaluation. Dagstuhl castle, Germany. Lecture Notes in Computer Science. vol. 1110:1996;Springer-Verlag.
10. Danvy O., Malmkjær K., Palsberg J. Eta-expansion does the trick. ACM Transactions on Programming Languages and Systems. 18:(6):1996;730-751.
11. Felleisen M., Hieb R. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science. 103:(2):1992;235- 271.
12. Futamura Y. Partial evaluation of computation process - an approach to a compiler-compiler. Higher-Order and Symbolic Computation. 12:(4):1999;381-391 Systems, Computers, Controls. 2:(5):1971;45-50. (reprinted).
13. Futamura Y. Partial evaluation of computation process - an approach to a compiler-compiler. Higher-Order and Symbolic Computation. 12:(4):1999;381-391 Systems, Computers, Controls. 2:(5):1971;45-50. (reprinted).
14. Gallagher J. Transforming logic programs by specialising interpreters. Proceedings of the 7th European Conference on Artificial Intelligence, ECAI-86. Brighton :1986;109-122.
15. Gallagher J., Codish M., Shapiro E. Specialisation of Prolog and FCP programs using abstract interpretation. New Generation Computing. 6:(2-3):1988;159-186.
16. Glenstrup A.J., Makholm H., Secher J.P. C-MIX: Specialization of C programs. Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. 1999;108-154 Springer-Verlag.
17. Glück R., Jørgensen J. Generating transformers for deforestation and supercompilation. Le Charlier B. Static Analysis. Lecture Notes in Computer Science. vol. 864:1994;432-448 Springer-Verlag.
18. Hatcliff J., Mogensen T., Thiemann P. Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. Lecture Notes in Computer Science. vol. 1706:1999;Springer-Verlag.
19. Jones N.D. What not to do when writing an interpreter for specialisation. Selected Papers from the International Seminar on Partial Evaluation. 1996;216-237 Springer-Verlag.
20. Jones N.D., Glenstrup A.J. Program generation, termination, and binding-time analysis. The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering. 2002;1-31 Springer-Verlag.
21. Jones N.D., Gomard C.K., Sestoft P. Partial Evaluation and Automatic Program Generation. 1993;Prentice-Hall, Inc.
22. J. Jørgensen, Compiler generation by partial evaluation, Master's Thesis, DIKU, University of Copenhagen, Denmark, 1991.
23. Jørgensen J. SIMILIX: A self-applicable partial evaluator for Scheme. Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. 1999;83-107 Springer-Verlag.
24. Leuschel M. Advanced logic program specialisation. Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. 1999;271-292 Springer-Verlag.
25. Leuschel M. Logic program specialisation. Partial Evaluation - Practice and Theory, DIKU, 1998, International Summer School. 1999;155-188 Springer-Verlag.
26. Liu Y.A., Stoller S.D. Dynamic programming via static incrementalization. Higher Order and Symbolic Computation. 16:(1-2):2003;37-62.
27. Lloyd J.W., Shepherdson J.C. Partial evaluation in logic programming. Journal of Logic Programming. 11:(3-4):1991;217-242.
28. Masuhara H., Kiczales G., Dutchyn C. A compilation and optimization model for aspect-oriented programs. Proceedings of 12th International Conference on Compiler Construction, CC2003. Lecture Notes in Computer Science. vol. 2622:2003;46-60.
29. Mogensen T. Inherited limits. Hatcliff J., Mogensen T., Thiemann P. Partial Evaluation: Practice and Theory. Proceedings of the 1998 DIKU International Summerschool. Lecture Notes in Computer Science. vol. 1706:1998;202 Springer-Verlag.
30. Muller G., Lawall J.L., Thibault S., Jensen R.E.V. A domain-specific language approach to programmable networks. Transactions on Systems, Man and Cybernetics. 33:(3):2003.
31. C. Pu, A. Black, C. Cowan, J. Walpole, C. Consel, Microlanguages for operating system specialization, in: 1st ACM-SIGPLAN Workshop on Domain-Specific Languages, Computer Science Technical Report, University of Illinois at Urbana-Champaign, 1997.
32. Reynolds J.C. Definitional interpreters for higher-order programming languages. Higher-Order and Symbolic Computation. 11:(4):1998;363-397.
33. Sahlin D. Mixtus: an automatic partial evaluator for full Prolog. New Generation Computing. 12:(1):1993;7-51.
34. Schmidt D.A. Denotational Semantics: A Methodology for Language Development. 1987;McGraw-Hill Professional.
35. Sperber M., Glück R., Thiemann P. Bootstrapping higher-order program transformers from interpreters. George K.M., Carroll J.H., Oppenheim D., Hightower J. Proceedings of the 1996 ACM Symposium on Applied Computing. 1996;408-413 ACM Press.
36. Thibault S., Consel C., Lawall J.L., Marlet R., Muller G. Static and dynamic program compilation by interpreter specialization. hosc. 13:(3):2000;161-178.
37. Thibault S., Marlet R., Consel C. Domain-specific languages: from design to implementation - application to video device driver generation. IEEE Transactions on Software Engineering (TSE). 25:(3):2003;363-377.
38. Thiemann P. Aspects of the PGG system: Specialization for standard scheme. Partial Evaluation - Practice and Theory, DIKU 1998, International Summer School. 1999;412-432 Springer-Verlag.
39. Turchin V.F. The concept of a supercompiler. ACM Transactions on Programming Languages and Systems (TOPLAS). 8:(3):1986;292-325.
40. van Deursen A., Klint P., Visser J. Domain-specific languages: an annotated bibliography. ACM SIGPLAN Notices. 35:(6):2000;26-36.
41. Winskel G. The Formal Semantics of Programming Languages. 1993;The MIT Press.