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