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, USA, January 22-23, 1999. Technical report BRICS-NS-99-1.
University of Aarhus 1999 
- 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
Last update Thu May 24 04:39:56 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
