Download:
|
by Jens Peter Secher
In Olivier Danvy and Andrzej Filinski, editors, Proceedings of the Second Symposium on Programs as Data Objects
ftp://ftp.diku.dk/pub/diku/users/jpsecher/Secher.PADOII.ps.gz
Add To MetaCart
Abstract:
Abstract. Collapsed jungle evaluation is an evaluation strategy for functional programs that can give super-linear speedups compared to conventional evaluation strategies such as call-by-need. However, the former strategy may incur administrative evaluation overhead. We demonstrate how this overhead can be eliminated by transforming the program using a variation of positive supercompilation in which the transformation strategy is based on collapsed jungle evaluation. In penetrating the constant-factor barrier, we seem to be very close to pin-pointing the exact nature of the dierence between supercompilation and tupling. As a spin-o, we clarify the relationship between call-by-name, call-by-need and collapsed-jungle evaluation, showing that all three can be expressed as instances of a common semantics in which the variations | diering only in eciency | are obtained by varying the degree of sharing in a dag representation.
Citations
|
1064
|
A structural approach to operational semantics
– Plotkin
- 1981
|
|
529
|
A transformation system for developing recursive programs
– Burstall, Darlington
- 1977
|
|
144
|
Tutorial on specialisation of logic programs
– Gallagher
- 1993
|
|
141
|
The concept of a supercompiler
– Turchin
- 1986
|
|
73
|
Towards an automated tupling strategy
– Chin
- 1993
|
|
67
|
Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree
– Gluck, Klimov
- 1993
|
|
62
|
A positive supercompiler
– Sorenson, Gluck, et al.
- 1996
|
|
31
|
Static caching for incremental computation
– Liu, Stoller, et al.
- 1998
|
|
19
|
A Comparative Revisitation of Some Program Transformation Techniques
– Pettorossi, Proietti
- 1996
|
|
14
|
Implementing term rewriting by jungle evaluation
– Hoffmann, Plump
- 1991
|
|
6
|
Conjunctive partial deduction: Foundations, control, algorithms and experiments
– Srensen
- 1999
|
|
3
|
Hans-Jorg Kreowski, and Detlef Plump. Jungle evaluation
– Habel
- 1991
|
|
1
|
Heine Srensen and Robert Gluck. Introduction to supercompilation
– Morten
- 1999
|
