Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002)

Higher-Order and Symbolic Computation
Volume 16, Issue 4
December 2003

Table of Contents

Olivier Danvy and Peter Thiemann
"Editorial"

Roberto Giacobazzi and Isabella Mastroeni
"Non-standard semantics for program slicing"

Lunjin Lu
"Path Dependent Analysis of Logic Programs"

Aleksandar Nanevski, Guy Blelloch and Robert Harper
"Automatic Generation of Staged Geometric Predicates"

Robert Harper and Mark Lillibridge
"Corrigendum: Polymorphic Type Assignment and CPS Conversion"