Theme issue on Partial Evaluation and Semantics-Based Program Manipulation

Higher-Order and Symbolic Computation
Volume 17, Issue 1/2
March-June 2004

Table of Contents

Wei-Ngan Chin, Olivier Danvy and Peter Thiemann
"Editorial"

Germán Vidal
"Cost-Augmented Partial Evaluation of Functional Logic Programs"

Anne-Françoise Le Meur, Julia L. Lawall and Charles Consel
"Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization"

Siau-Cheng Khoo and Kun Shi
"Program Adaptation via Output-Constraint Specialization"

Janis Voigtländer
"Using Circular Programs to Deforest in Accumulating Parameters"