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

Higher-Order and Symbolic Computation
Volume 12, Issue 4
December 1999

Table of Contents

Olivier Danvy and Carolyn Talcott
"Editorial"

Sandrine Chirokoff, Charles Consel and Renaud Marlet
"Combining Program and Data Specialization"

Luke Hornof and Trevor Jim
"Certifying Compilation and Run-Time Code Generation"

Yoshihiko Futamura
"Partial Evaluation of Computation Process, Revisited"

Yoshihiko Futamura
"Partial Evaluation of Computation Process -- An Approach to a Compiler-Compiler"