Olivier Danvy
Proceedings of the Sixth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical report BRICS-NS-99-1)
PEPM, 1999.

@proceedings{PEPM-1999,
	address       = "San Antonio, Texas, USA",
	editor        = "Olivier Danvy",
	publisher     = "{University of Aarhus}",
	title         = "{Proceedings of the Sixth Workshop on Partial Evaluation and Semantics-Based Program Manipulation (Technical report BRICS-NS-99-1)}",
	year          = 1999,
}

Contents (14 items)

3 ×#partial evaluation
2 ×#source code

PEPM-1999-Bawden #lisp

Quasiquotation in Lisp (AB), pp. 4–12.

PEPM-1999-Veldhuizen #c++ #partial evaluation

C++ Templates as Partial Evaluation (TLV), pp. 13–18.

PEPM-1999-Mogensen #λ-calculus

Gödelization in the Untyped λ-Calculus (TÆM), pp. 19–24.

PEPM-1999-Rhiger #static typing

Deriving a Statically Typed Type-Directed Partial Evaluator (MR), pp. 25–29.

PEPM-1999-Thiemann #type system

Interpreting Specialization in Type Theory (PT), pp. 30–43.

PEPM-1999-ChirokoffC

Combining Program and Data Specialization (SC, CC), pp. 45–59.

PEPM-1999-HornofJ #code generation #compilation #runtime

Certifying Compilation and Run-Time Code Generation (LH, TJ), pp. 60–74.

PEPM-1999-PueblaHG #abstract interpretation #framework #integration #partial evaluation

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (GP, MVH, JPG), pp. 75–84.

PEPM-1999-HuTI #named #parallel #performance #source code

Diffusion: Calculating Efficient Parallel Programs (ZH, MT, HI), pp. 85–94.

PEPM-1999-TullsenH

Shifting Expression Procedures into Reverse (MT, PH), pp. 95–104.

PEPM-1999-DwyerH #slicing

Slicing Software for Model Construction (MBD, JH), pp. 105–118.

PEPM-1999-ChinGK #effectiveness #lazy evaluation #multi #optimisation #traversal

Effective Optimization of Multiple Traversals in Lazy Languages (WNC, AHG, SCK), pp. 119–130.

PEPM-1999-Lammel #aspect-oriented #declarative #programming

Declarative Aspect-Oriented Programming (RL), pp. 131–146.

PEPM-1999-Jay #experience #partial evaluation #source code

Partial Evaluation of Shaped Programs: Experience with FISh (CBJ), pp. 147–158.