The Concept of a Supercompiler (1986)

Cached

Download Links

by Valentin F. Turchin
Venue:ACM Transactions on Programming Languages and Systems
Citations:168 - 3 self

Active Bibliography

33 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
17 Experiments with a supercompiler – Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin - 1982
6 Partial Evaluation of Computation Process, Revisited – Yoshihiko Futamura - 1999
134 An Introduction to Partial Evaluation – Neil D. Jones - 1996
63 Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree – Robert Glück, Andrei V. Klimov - 1993
15 Turchin's Supercompiler Revisited - An operational theory of positive information propagation – Morten Heine Sørensen - 1996
Formalizing and Implementing Multi-Result Supercompilation – Ilya G. Klyuchnikov, Sergei A. Romanenko - 2012
On the Place of Supercompilation inside Program Specialization – Andrei P. Nemytykh
On Generalization of Lists and Strings in – Valentin F Turchin
13 A Self-Applicable Supercompiler – Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin - 1996
78 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
2 Specialization of Functional Logic Programs – María Alpuente, Moreno Falaschi, Germán Vidal
A Framework for the Analysis of Syntactic Replacement Restrictions – Salvador Lucas - 1999
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
69 Context-Sensitive Computations in Functional and Functional Logic Programs – Salvador Lucas - 1998
236 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
33 The Narrowing-Driven Approach to Functional Logic Program Specialization – Elvira Albert, German Vidal - 2002
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992