The translation power of the futamura projections

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

Volumn 2890, Issue , 2003, Pages 133-147

  Glück, Robert ^a  

^a WASEDA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM INTERPRETERS;

ABSTRACT LEVELS; OPTIMALITY; PARAMETERIZED; RESIDUAL PROGRAMS; TIME COMPLEXITY;

PROGRAM TRANSLATORS;

EID: 33845963853     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (25)

1. S. M. Abramov, R. Glück. Combining semantics with non-standard interpreter hierarchies. In S. Kapoor, S. Prasad (eds.), Foundations of Software Technology and Theoretical Computer Science. Proceedings, LNCS 1974, 201-213. Springer-Verlag, 2000.
2. M. S. Ager, O. Danvy, H. K. Rohde. On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. In Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 32-46. ACM Press, 2002.
3. O. Danvy, P. E. M. López. Tagging, encoding, and Jones optimality. In P. Degano (ed.), Programming Languages and Systems. Proceedings, LNCS 2618, 335-347. Springer-Verlag, 2003.
4. A. P. Ershov. On the partial computation principle. Information Processing Letters, 6(2):38-41, 1977.
5. Y. Ritamura. Partial evaluation of computing process - an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45-50, 1971.
6. Reprinted in Higher-Order and Symbolic Computation, 12(4): 381-391, 1999.
7. Y. Ritamura, K. Nogi. Generalized partial computation. In D. Bjørner, A. P. Ershov, N. D. Jones (eds.), Partial Evaluation and Mixed Computation, 133-151. North-Holland, 1988.
8. R. Glück. On the generation of specializers. Journal of Functional Programming, 4(4):499-514, 1994.
9. R. Glück. Jones optimality, binding-time improvements, and the strength of program specializers. In Proceedings of the Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 9-19. ACM Press, 2002.
10. R. Glück, J. Jørgensen. Generating transformers for deforestation and supercompilation. In B. Le Charlier (ed.), Static Analysis. Proceedings, LNCS 864, 432-448. Springer-Verlag, 1994.
11. R. Glück, A. V. Klimov. A regeneration scheme for generating extensions. Information Processing Letters, 62(3):127-134, 1997.
12. J. Heering. Partial evaluation and ω-completeness of algebraic specifications. Theoretical Computer Science, 43(2-3):149-167, 1986.
13. N. D. Jones. Challenging problems in partial evaluation and mixed computation. In D. Bjørner, A. P. Ershov, N. D. Jones (eds.), Partial Evaluation and Mixed Computation, 1-14. North-Holland, 1988.
14. N. D. Jones. Partial evaluation, self-application and types. In M. S. Paterson (ed.), Automata, Languages and Programming. Proceedings, LNCS 443, 639-659. Springer-Verlag, 1990.
15. N. D. Jones, C. K. Gomard, P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
16. J. Jørgensen. Generating a compiler for a lazy language by partial evaluation. In Conference Record of the Nighteenth Symposium on Principles of Programming Languages, 258-268. ACM Press, 1992.
17. S. S. Lavrov. On the essence of mixed computation. In D. Bjørner, A. P. Ershov, N. D. Jones (eds.), Partial Evaluation and Mixed Computation, 317-324. North-Holland, 1988.
18. H. Makholm. On Jones-optimal specialization for strongly typed languages. In W. Taha (ed.), Semantics, Applications, and Implementation of Program Generation. Proceedings, LNCS 1924, 129-148. Springer-Verlag, 2000.
19. T. Æ. Mogensen. Partially static structures in a self-applicable partial evaluator. In D. Bjørner, A. P. Ershov, N. D. Jones (eds.), Partial Evaluation and Mixed Computation, 325-347. North-Holland, 1988.
20. T. Æ. Mogensen. Separating binding times in language specifications. In Fourth International Conference on Functional Programming and Computer Architecture, London, UK, 14-25. ACM Press and Addison-Wesley, Sept. 1989.
21. T. Æ. Mogensen. Evolution of partial evaluators: removing inherited limits. In O. Danvy, R. Glück, P. Thiemann (eds.), Partial Evaluation. Proceedings, LNCS 1110, 303-321. Springer-Verlag, 1996.
22. P. Sestoft. The structure of a self-applicable partial evaluator. In H. Ganzinger, N. D. Jones (eds.), Programs as Data Objects, LNCS 217, 236-256. Springer-Verlag, 1985.
23. P. Sestoft. ML pattern match compilation and partial evaluation. In O. Danvy, R. Glück, P. Thiemann (eds.), Partial Evaluation. Proceedings, LNCS 1110, 446-464. Springer-Verlag, 1996.
24. S. Skalberg. Mechanical proof of the optimality of a partial evaluator. Master's thesis, DIKU, Department of Computer Science, University of Copenhagen, 1999.
25. W. Taha, H. Makholm, J. Hughes. Tag elimination and Jones-optimality. In O. Danvy, A. Filinsky (eds.), Programs as Data Objects. Proceedings, LNCS 2053, 257-275. Springer-Verlag, 2001.