Peter Thiemann
Proceedings of the Eighth Workshop on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 2002.

@proceedings{PEPM-2002,
	acmid         = "503032",
	address       = "Portland, Oregon, USA",
	editor        = "Peter Thiemann",
	isbn          = "1-58113-455-X",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Eighth Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 2002,
}

Contents (13 items)

2 ×#analysis
2 ×#automation
2 ×#partial evaluation

PEPM-2002-Chambers #compilation #staged

Staged compilation (CC), pp. 1–8.

PEPM-2002-MeurLC #partial evaluation #programming language #towards

Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.

PEPM-2002-Asai #online #partial evaluation

Online partial evaluation for shift and reset (KA), pp. 19–30.

PEPM-2002-BrabrandS #metaprogramming #syntax

Growing languages with metamorphic syntax macros (CB, MIS), pp. 31–40.

PEPM-2002-SecherS #graph

From checking to inference via driving and dag grammars (JPS, MHS), pp. 41–51.

PEPM-2002-Vidal

Cost-augmented narrowing-driven specialization (GV), pp. 52–62.

PEPM-2002-Lu #analysis #logic programming #source code

Path dependent analysis of logic programs (LL), pp. 63–74.

PEPM-2002-GomezL #analysis #automation #bound #higher-order

Automatic time-bound analysis for a higher-order language (GG, YAL), pp. 75–86.

PEPM-2002-GiacobazziM #composition #semantics

Compositionality in the puzzle of semantics (RG, IM), pp. 87–97.

PEPM-2002-BischofHN #automation #difference #implementation #tool support

Implementation of automatic differentiation tools (CHB, PDH, BN), pp. 98–107.

PEPM-2002-LiuS #data type #optimisation #recursion #using

Program optimization using indexed and recursive data structures (YAL, SDS), pp. 108–118.

PEPM-2002-RamakrishnanCP #interactive

Mixed-initiative interaction = mixed computation (NR, RC, MAPQ), pp. 119–130.

PEPM-2002-BartheU #continuation #induction

CPS translating inductive and coinductive types (GB, TU), pp. 131–142.