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)