Readscheme.org
Partial Evaluation Bibliography Home
Bibliography
Implementations
Past Events
Journal Special Issues
Implementations

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"

Last modified: Monday, February 16th, 2009 6:22:14pm
HTML generated using WebIt!.