PEPM 1999: San Antonio, Texas, USA

Olivier Danvy (Ed.): Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, January 22-23, 1999. Technical report BRICS-NS-99-1, University of Aarhus, http: //www.brics.dk/~pepm99/

Alan Bawden: Quasiquotation in Lisp. 4-12 BibTeX
Todd L. Veldhuizen: C++ Templates as Partial Evaluation. 13-18 BibTeX
Torben Æ. Mogensen: Gödelization in the Untyped lambda-Calculus. 19-24 BibTeX
Morten Rhiger: Deriving a Statically Typed Type-Directed Partial Evaluator. 25-29 BibTeX
Peter Thiemann: Interpreting Specialization in Type Theory. 30-43 BibTeX
Sandrine Chirokoff, Charles Consel: Combining Program and Data Specialization. 45-59 BibTeX
Luke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. 60-74 BibTeX
Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher: An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. 75-84 BibTeX
Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki: Diffusion: Calculating Efficient Parallel Programs. 85-94 BibTeX
Mark Tullsen, Paul Hudak: Shifting Expression Procedures into Reverse. 95-104 BibTeX
Matthew B. Dwyer, John Hatcliff: Slicing Software for Model Construction. 105-118 BibTeX
Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo: Effective Optimization of Multiple Traversals in Lazy Languages. 119-130 BibTeX
Ralf Lämmel: Declarative Aspect-Oriented Programming. 131-146 BibTeX
C. Barry Jay: Partial Evaluation of Shaped Programs: Experience with FISh. 147-158 BibTeX