An Automatic Program Generator for Multi-Level Specialization

@article{Glck1997AnAP,
  title={An Automatic Program Generator for Multi-Level Specialization},
  author={Robert Gl{\"u}ck and Jesper J\orgensen},
  journal={Lisp and Symbolic Computation},
  year={1997},
  volume={10},
  pages={113-158}
}
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

Citations

Publications citing this paper.

References

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…