Michael Leuschel
Proceedings of the Ninth Workshop on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 2003.

@proceedings{PEPM-2003,
	acmid         = "777388",
	address       = "San Diego, California, USA",
	editor        = "Michael Leuschel",
	isbn          = "1-58113-667-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 2003,
}

Contents (10 items)

3 ×#partial evaluation
2 ×#slicing

PEPM-2003-HatcliffDDJRR #component #corba #design #partial evaluation #slicing

Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.

PEPM-2003-AgerDR #partial evaluation #pattern matching #performance #string

Fast partial evaluation of pattern matching in strings (MSA, OD, HKR), pp. 3–9.

PEPM-2003-GluckKH #partial evaluation

Transforming interpreters into inverse interpreters by partial evaluation (RG, YK, TH), pp. 10–19.

PEPM-2003-ChenX #implementation #program transformation

Implementing typeful program transformations (CC, HX), pp. 20–28.

PEPM-2003-PueblaH

Abstract specialization and its applications (GP, MVH), pp. 29–43.

PEPM-2003-AllenH #exception #java #slicing #source code

Slicing java programs that throw and catch exceptions (MA, SH), pp. 44–54.

PEPM-2003-BozgaIL #alias #logic #semantics

Storeless semantics and alias logic (MB, RI, YL), pp. 55–65.

PEPM-2003-AttardiCK #named

CodeBricks: code fragments as building blocks (GA, AC, AK), pp. 66–74.

PEPM-2003-ChinKX #analysis

Extending sized type with collection analysis (WNC, SCK, DNX), pp. 75–84.

PEPM-2003-LiuS #optimisation

Optimizing Ackermann’s function by incrementalization (YAL, SDS), pp. 85–91.