Abstract (Olivier Danvy)
The last years have witnessed a flurry of new results in the area of
partial evaluation. These results include: (1) a better understanding
of the underlying mathematical principles, (2) better strategies for
implementing partial evaluation systems, and (3) new extensions that
widen the range of applications and thus should broaden the community
of users. This tutorial surveys the field, presents a critical
assessment of the state of the art, and explores promising directions
where partial evaluation can be used. Concrete examples are given.
Joint work with Prof. Charles Consel (Charles.Consel@irisa.fr).
Last modified: March 8, 1995.
Kim Skak Larsen
(kslarsen@imada.sdu.dk)