G. Ramalingam, Eelco Visser
Proceedings of the 12th Workshop on Partial Evaluation and Semantics-Based Program Manipulation
PEPM, 2007.

@proceedings{PEPM-2007,
	acmid         = "1244381",
	address       = "Nice, France",
	editor        = "G. Ramalingam and Eelco Visser",
	isbn          = "978-1-59593-620-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 12th Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
	year          = 2007,
}

Contents (18 items)

5 ×#source code
4 ×#named
3 ×#partial evaluation
3 ×#query

PEPM-2007-MollerS #graph #program analysis #xml

XML graphs in program analysis (AM, MIS), pp. 1–10.

PEPM-2007-CunhaV #query #source code #xpath

Transformation of structure-shy programs: applied to XPath queries and strategic functions (AC, JV), pp. 11–20.

PEPM-2007-LiuHT #bidirectional #xquery

Bidirectional interpretation of XQuery (DL, ZH, MT), pp. 21–30.

PEPM-2007-Lammel #canonical #normalisation

Style normalization for canonical X-to-O mappings (RL), pp. 31–40.

PEPM-2007-CaretteK #partial evaluation

Partial evaluation of Maple (JC, MK), pp. 41–50.

PEPM-2007-Vidal #logic programming #partial evaluation #source code #termination

Quasi-terminating logic programs for ensuring the termination of partial evaluation (GV), pp. 51–60.

PEPM-2007-Hamilton #named #source code

Distillation: extracting the essence of programs (GWH), pp. 61–70.

PEPM-2007-BurchettCK #functional #named #optimisation

Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.

PEPM-2007-RothamelL #implementation #performance #retrieval #tuple

Efficient implementation of tuple pattern based retrieval (TR, YAL), pp. 81–90.

PEPM-2007-MoorHV #object-oriented #query

Object-oriented queries over software systems: (OdM, EH, MV), p. 91.

PEPM-2007-RooverDBND #behaviour #logic #query #similarity #source code #using

Behavioral similarity matching using concrete source code templates in logic queries (CDR, TD, JB, CN, LD), pp. 92–101.

PEPM-2007-FernandesS #library #source code #tool support

Tools and libraries to model and manipulate circular programs (JPF, JS), pp. 102–111.

PEPM-2007-FogartyPST #exclamation #named

Concoqtion: indexed types now! (SF, EP, JGS, WT), pp. 112–121.

PEPM-2007-EllnerT #semantics #visual notation

The semantics of graphical languages (SE, WT), pp. 122–133.

PEPM-2007-FischerMM #named #programming

Tasks: language support for event-driven programming (JF, RM, TDM), pp. 134–143.

PEPM-2007-YokoyamaG #programming language #self

A reversible programming language and its invertible self-interpreter (TY, RG), pp. 144–153.

PEPM-2007-ZhuK #component #reuse #towards

Towards constructing reusable specialization components (PZ, SCK), pp. 154–163.

PEPM-2007-OchoaP #partial evaluation

Poly-controlled partial evaluation in practice (CO, GP), pp. 164–173.