Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002)Higher-Order and Symbolic Computation
Volume 16, Issue 4
Table of ContentsOlivier 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!.