On the degeneration of program generators by program composition

New Generation Computing

Volumn 16, Issue 1, 1998, Pages 075-096

  Glück, Robert ^a   Klimov, Andrei ^b  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b KELDYSH INSTITUTE OF APPLIED MATHEMATICS   (Russian Federation)

Author keywords

Metacomputation; Partial Evaluation; Program Composition; Program Specialization; Program Transformation; Programming Languages

Indexed keywords

PROGRAM DEBUGGING;

PROGRAM COMPOSITION; PROGRAM GENERATORS; PROGRAM SPECIALIZATION;

PROGRAM COMPILERS;

EID: 0031650279     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf03037321     Document Type: Article

References (23)

1. Ershov, A. P., "On the Essence of Compilation," in Formal Description of Programming Concepts (E. J. Neuhold, ed.), North-Holland, pp. 391-420, 1978.
2. Futamura, Y., "Partial Computation of Programs," in RIMS Symposia on Software Science and Engineering (E. Goto, K. Furukawa, R. Nakajima, I. Nakata, and A. Yonezawa, eds.), Springer-Verlag, pp. 1-35, 1983.
3. Bjørner, D., Ershov, A. P., and Jones, N. D. (eds.), Paritial Evaluation and Mixed Computation, North-Holland, 1988.
4. Jones, N. D., Gomard, C. K., and Sestoft, P., Partial Evaluation and Automatic Program Generation, Prentice-Hall, 1993.
5. Danvy, O., Glück, R., and Thiemann, P. (eds.), Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, Springer-Verlag, 1996.
6. Futamura, Y., "Partial Evaluation of Computing Process-An Approach to a Compiler-Compiler," Systems, Computers, Controls, 2, 5, pp. 45-50, 1971.
7. Turchin, V. F., "The Concept of a Supercompiler," Transactions on Programming Languages and Systems, 8, 3, pp. 292-325, 1986.
8. Wadler, P., "Deforestation: Transforming Programs to Eliminate Trees," Theoretical Computer Science, 73, pp. 231-248, 1990.
9. Fegaras, L., Sheard, T., and Zhou, T., "Improving Programs Which Recurse over Multiple Inductive Structures," in ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Orlando, Florida, pp. 21-32, 1994.
10. Takano, A. and Meijer, E., "Shortcut Deforestation in Calculational Form," in Conference on Functional Programming Languages and Computer Architecture, ACM Press, pp. 306-313, 1995.
11. Turchin, V. F., "Ehkvivalentnye preobrazovanija rekursivnykh funkcij na Refale (Equivalent transformations of recursive functions defined in Refal)," in Teorija Jazykov i Metody Programmirovanija (Proceedings of the Symposium on the Theory of Languages and Programming Methods), pp. 31-42, 1972. [In Russian]
12. Bratman, H., "An Alternate Form of the 'UNCOL Diagram,'" Communications of the ACM, 4, 3, p. 142, 1961.
13. Earley, J. and Sturgis, H., "A Formalism for Translator Interactions," Communications of the ACM, 13, 10, pp. 607-617, 1970.
14. Glück, R. and Klimov, A. V., "Metasystem Transition Schemes in Computer Science and Mathematics," World Futures, 45, pp. 213-243, 1995.
15. Glück, R., "On the Mechanics of Metasystem Hierarchies in Program Transformation," in Logic Program Synthesis and Transformation, volume 1048 of Lecture Notes in Computer Science (M. Proietti, ed.), Springer-Verlag, pp. 234-251, 1996.
16. Turchin, V. F., "Metacomputation : Metasystem Transitions plus Supercompilation," in Partial Evaluation, volume 1110 of Lecture Notes in Computer Science (O. Danvy, R. Glück, and P. Thiemann, ed.), Springer-Verlag, pp. 481-509, 1996.
17. Glück, R. and Jørgensen, J., "Efficient Multi-Level Generating Extensions for Program Specialization," in Programming Languages: Implementations, Logics and Programs (PLILP'95) (M. Hermenegildo and S. D. Swierstra, eds.), volume 982 of Lecture Notes in Computer Science, Springer-Verlag, pp. 259-278, 1995.
18. Turchin, V. F., The Phenomenon of Science, Columbia University Press, New York, 1977.
19. Tofte, M., Compiler Generators, volume 19 of EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1990.
20. Glück, R., "On the Generation of Specializers," Journal of Functional Programming, 4, 4, pp. 499-514, 1994.
21. Bondorf, A., "Automatic Autoprojection of Higher Order Recursive Equations," Science of Computer Programming, 17, 1-3, pp. 3-34, 1991.
22. Turchin, V. F., "Program Transformation with Metasystem Transitions," Journal of Functional Programming, 3, 3, pp. 283-313, 1993.
23. Abramov, S. M., Metavychislenija i ikh prilozhenija (Metacomputation and its Applications), Nauka, Moscow, 1995. [In Russian]