Program transformation by supercompilation is summarized. The current state of work on supercompilation is illustrated by several examples of successful transformation. In the process of work it became clear that many different supercompilers can be written by using various techniques in their basic modules. A formal language to describe these techniques is needed. An outline of such a language, SCPL, for the top level of control in a supercompiler is given.
CITATION STYLE
Turchin, V. F. (1996). Supercompilation: Techniques and results. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1181, pp. 227–248). Springer Verlag. https://doi.org/10.1007/3-540-62064-8_20
Mendeley helps you to discover research relevant for your work.