Nevin Heintze, Peter Sestoft
Proceedings of the 10th Workshop on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 2004.

@proceedings{PEPM-2004,
	acmid         = "1014007",
	address       = "Verona, Italy",
	editor        = "Nevin Heintze and Peter Sestoft",
	isbn          = "1-58113-835-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 2004,
}

Contents (22 items)

3 ×#program transformation
2 ×#component
2 ×#declarative
2 ×#generative
2 ×#logic programming
2 ×#partial evaluation
2 ×#proving
2 ×#verification

PEPM-2004-McIlraith #declarative #programming #towards #web #web service

Invited talk: towards declarative programming for web services (SAM), pp. 1–2.

PEPM-2004-Asai #partial evaluation

Offline partial evaluation for shift and reset (KA), pp. 3–14.

PEPM-2004-Rigo #prototype #python

Representation-based just-in-time specialization and the psyco prototype for python (AR), pp. 15–26.

PEPM-2004-AndersenS #declarative

Declarative specialization for object-oriented-program specialization (HMA, UPS), pp. 27–38.

PEPM-2004-BobeffN #component

Component specialization (GJB, JN), pp. 39–50.

PEPM-2004-AkersBM #automation #c++ #component #program transformation #re-engineering

Invited application paper: re-engineering C++ components via automatic program transformation (RLA, IDB, MM), pp. 51–55.

PEPM-2004-Daugherty

Invited application paper: a proposal for the specialization of HA/DRE systems (GD), pp. 56–67.

PEPM-2004-Kamin #generative

Invited application paper: program generation considered easy (SK), pp. 68–79.

PEPM-2004-LawallMD #design #implementation #process #scheduling

Invited application paper: language design for implementing process scheduling hierarchies (JLL, GM, HD), pp. 80–91.

PEPM-2004-SmaragdakisHZ #generative #tool support

Program generators and the tools to make them (YS, SSH, DZ), pp. 92–100.

PEPM-2004-Nishimura #parametricity

Fusion with stacks and accumulating parameters (SN), pp. 101–112.

PEPM-2004-Debois #imperative #optimisation #partial evaluation

Imperative program optimization by partial evaluation (SD), pp. 113–122.

PEPM-2004-OchoaSV #slicing

Dynamic slicing based on redex trails (CO, JS, GV), pp. 123–134.

PEPM-2004-PopeeaC #correctness #protocol #proving #type system #verification

A type system for resource protocol verification and its correctness proof (CP, WNC), pp. 135–146.

PEPM-2004-DuranLMMU #equation #proving #source code #termination

Proving termination of membership equational programs (FD, SL, JM, CM, XU), pp. 147–158.

PEPM-2004-PettorossiP #formal method #logic programming #program transformation

A theory of totally correct logic program transformations (AP, MP), pp. 159–168.

PEPM-2004-HulaasB #cpu #java #program transformation

Program transformations for portable CPU accounting and control in Java (JH, WB), pp. 169–177.

PEPM-2004-HuMT #bidirectional #documentation #editing #programmable

A programmable editor for developing structured documents based on bidirectional transformations (ZH, SCM, MT), pp. 178–189.

PEPM-2004-BarkerLV #data access #flexibility #logic programming #performance

Efficient and flexible access control via logic program specialisation (SB, ML, MV), pp. 190–199.

PEPM-2004-Shapiro #injection

Invited talk: injecting life with computers (EYS), p. 200.

PEPM-2004-BeyerCHJM #query #verification

Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 201–202.

PEPM-2004-Morrisett #question #what

Invited talk: what’s the future for proof-carrying code? (JGM), p. 203.