Proceedings of the 10th Workshop on Partial Evaluation and Semantics-Based Program Manipulation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.