Proceedings of the 12th 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

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

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

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.

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.