A regeneration scheme for generating extensions

Information Processing Letters

Volumn 62, Issue 3, 1997, Pages 127-134

  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 generation; Programming languages

Indexed keywords

EID: 0041577161     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0020-0190(97)00055-0     Document Type: Article

References (11)

1. A.P. Ershov, On the essence of compilation, in: E.J. Neuhold, ed., Formal Description of Programming Concepts (North-Holland, Amsterdam, 1978) 391-420.
2. Y. Futamura, Partial evaluation of computing process - An approach to a compiler-compiler, Systems, Computers, Controls 2 (5) (1971) 45-50.
3. R. Glück, On the generation of specializes, Functional Programming 4 (4) (1994) 499-514.
4. R. Glück, On the mechanics of metasystem hierarchies in program transformation, in: M. Proietti, ed., Logic Program Synthesis and Transformation, Lecture Notes in Computer Science, Vol. 1048 (Springer, Berlin, 1996) 234-251.
5. R. Glück and J. Jørgensen, Efficient multi-level generating extensions for program specialization, in: M. Hermenegildo and S.D. Swierstra, eds., Programming Languages: Implementations, Logics and Programs, Lecture Notes in Computer Science, Vol. 982 (Springer, Berlin, 1995) 259-278.
6. R. Glück and A.V. Klimov, Metasystem transition schemes in computer science and mathematics, World Futures 45 (1995) 213-243.
7. R. Glück and A.V. Klimov, On the degeneration of program generators by program composition, New Generation Computing, to appear.
8. N.D. Jones, C.K. Gomard and P. Sestoft, Partial Evaluation and Automatic Program Generation (Prentice-Hall, New York, 1993).
9. V.F. Turchin, The concept of a supercompiler, Trans. Programming Languages Systems 8 (3) (1986) 292-325.
10. V.F. Turchin, Metacomputation: Metasystem transitions plus supercompilation, in: O. Danvy, et al., eds., Partial Evaluation, Lecture Notes in Computer Science, Vol. 1110 (Springer, Berlin, 1996) 481-509.
11. P. Wadler, Deforestation: Transforming programs to eliminate trees, Theoret. Comput. Sci. 73 (1990) 231-248.