Multi-level specialization

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

Volumn 1706, Issue , 1999, Pages 326-337

  Glück, Robert ^a   Jørgensen, Jesper ^b  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EDUCATION;

FUNCTIONAL LANGUAGES; GENERATION TIME; HIGHER-ORDER; MULTILEVELS; PROGRAM SPECIALIZATION;

COMPUTATION THEORY;

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

References (21)

1. L.O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU Report 94/19, Dept. of Computer Science, University of Copenhagen, 1994.
2. L. Beckman, A. Haraldson, O. OskEirsson, E. Sandewall. A partial evaluator and its use as a programming tool. Artificial Intelligence, 7:319-357, 1976.
3. L. Birkedal, M. Welinder. Hand-writing program generator generators. In M. Hermenegildo, J. Penjam (eds.), Programming Language Im,plementation and Logic Programming. LNCS 844, 198-214, Springer-Verlag 1994.
4. D. Bj0rner, A.P. Ershov, N.D. Jones (eds.). Partial Evaluation and Mixed Computation. North-Holland 1988.
5. A. Bondorf, J. Jorgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, 3(3):315-346, 1993.
6. O. Danvy, R. Gliick, P. Thiemann (eds.). Partial Evaluation. LNCS 1110, Springer-Verlag 1996.
7. U. Eisenecker. Generative programming with C-l-1-. In H. Mossenbock (ed.). Modular Programming Languages, LNCS 1204, 351-365, Springer-Verlag 1997.
8. A.P. Ershov. On the essence of compilation. In E.J. Neuhold (ed.), Formal Description of Programming Concepts, 391-420. North-Holland 1978.
9. R. Gliick. Towards multiple self-application. In Proceedings of the Symposium on Partial Eval uation and Semantics-Based Program Manipulation, 309-320, ACM Press 1991.
10. R. Gliick, J. j0rgensen. Efficient multi-level generating extensions for program specialization. In M. Hermenegildo, S.D. Swierstra (eds.) Programming Languages, Implementations, Logics and Programs, LNCS 982, 259-278, Springer-Verlag 1995.
11. R. Gliick, J. J0rgensen. Fast binding-time analysis for multi-level specialization. In D. Bj0rner, M. Broy, I.V. Pottosin (eds.) Perspectives of System, Informatics, LNCS 1181, 261-272, Springer-Verlag 1996.
12. R. Gliick, J. j0rgensen. An automatic program generator for multi-level specialization. Lisp and Symbolic Computation, 10(2): 113-158, 1997.
13. N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall 1993.
14. N.D. Jones, P. Sestoft, and H. S0ndergaard. Mix: a self-applicable partial eval uator for experiments in compiler generation. LISP and Symbolic Computation, 2(1):9-50, 1989.
15. C.K. Hoist. Syntactic currying: yet another approach to partial evaluation. Student report, DIKU, Dept. of Computer Science, University of Copenhagen, 1989.
16. F. Nielson, H.R. Nielson. Multi-level lambda-calculus: an algebraic description. In [6], 338-354, 1996.
17. F. Nielson, H.R. Nielson. Prescriptive frameworks for multi-level lambda-calculi. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 193-202, ACM Press 1997.
18. S.A. Romajienko. A compiler generator produced by a self-applicable specializer can have a surprisingly natural and understandable structure. In [4], 445-463, 1988.
19. W. Taha, T. Shecird. Multi-stage programming with exphcit annotations. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 203-217, ACM Press 1997.
20. P. Thiemann. Cogen in six lines. In International Conference on Functional Programming, 180-189, ACM Press 1996.
21. P. Thiemann. The PGG system - user manual. Dept. of Computer Science, University of Nottingham, 1998.