Partial evaluation reconciles generality with efficiency by providing automatic specialization and optimization of programs. This book covers the entire field o

Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of toda

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of softw

This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling prac

This book constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, PADO 2001, held in Aarhus, Denmark, in May 2001. The 14 revi