An Automatic Program Generator for Multi-Level Specialization

  title={An Automatic Program Generator for Multi-Level Specialization},
  author={Robert Gl{\"u}ck and Jesper J\orgensen},
  journal={Lisp and Symbolic Computation},
Program specialization can divide a computation into several computation stages. This paper investigates the theoretical limitations and practical problems of standard specialization tools, presents multi-level specialization, and demonstrates that, in combination with the cogen approach, it is far more practical than previously supposed. The program generator which we designed and implemented for a higher-order functional language converts programs into very compact multi-level generating… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS
44 Citations
43 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 43 references

Two-Level Functional Languages

  • F. Nielson, H. R. Nielson
  • 1992
Highly Influential
7 Excerpts

Syntactic currying: Yet another approach to partial evaluation

  • C. K. Holst
  • Technical report. DIKU, Department of Computer…
  • 1989
Highly Influential
9 Excerpts

Partial evaluation of Standard ML

  • L. Birkedal, M. Welinder
  • DIKU Report 93/22. Dept. of Computer Science…
  • 1993
Highly Influential
5 Excerpts

Partial Evaluation

  • Bondorf, A.Self-Applicable
  • Ph.D. Thesis,
  • 1990
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…