DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ODENSE UNIVERSITY Partial Evaluation: Principles, Applications, and Perspectives Olivier Danvy Computer Science Department Aarhus University Tuesday, February 21, 1995, at 2:15 PM The Seminar Room 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). Peter Kornerup