Special Issue on the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1999)

Higher-Order and Symbolic Computation
Volume 13, Issue 4
December 2000

Table of Contents

Olivier Danvy and Carolyn Talcott
"Editorial"

Yanhong A. Liu
"Efficiency by Incrementalization: An Introduction"

John Hatcliff, Matthew B. Dwyer and Hongjun Zheng
"Slicing Software for Model Construction"

Torben Æ. Mogensen (ed.)
"Glossary for Partial Evaluation and Related Topics"