ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99)

San Antonio, Texas
January 22-23, 1999

Program

Alan Bawden
"Quasiquotation in Lisp (invited talk)"
ps pdf

Todd L. Veldhuizen
"C++ Templates as Partial Evaluation"
ps pdf

Torben Mogensen
"Godelisation in the untyped lambda-calculus"
ps pdf

Morten Rhiger
"Deriving a Statically Typed Type-Directed Partial Evaluator"
ps pdf

Peter Thiemann
"Interpreting Specialization in Type Theory"
ps pdf

Charles Consel
"Program Adaptation based on Program Specialization (invited talk)"
ps pdf

Sandrine Chirokoff and Charles Consel
"Combining Program and Data Specialization"
ps pdf

Luke Hornof and Trevor Jim
"Certifying Compilation and Run-time Code Generation"
ps pdf

German Puebla, Manuel Hermenegildo and John P. Gallagher
"An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework"
ps pdf

Zhenjiang Hu, Masato Takeichi and Hideya Iwasaki
"Diffusion: Calculating Efficient Parallel Programs"
ps pdf

Mark Tullsen and Paul Hudak
"Shifting Expression Procedures into Reverse"
ps pdf

Matthew Dwyer and John Hatcliff
"Slicing Software for Model Construction"
ps pdf

Wei-Ngan Chin, Aik-Hui Goh and Siau-Cheng Khoo
"Effective Optimization of Multiple Traversals in Lazy Languages"
ps pdf

Ralf Laemmel
"Declarative aspect-oriented programming"
ps pdf

C. Barry Jay
"Partial Evaluation of shaped programs: experience with FISh"
ps pdf

Olin Shivers
"Rehabilitating CPS (invited talk)"
ps pdf