Proceedings of the 17th Workshop on Partial Evaluation and 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

Oleg Kiselyov, Simon Thompson
Proceedings of the 17th Workshop on Partial Evaluation and Program Manipulation
PEPM, 2012.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{PEPM-2012,
	acmid         = "2103746",
	address       = "Philadelphia, Pennsylvania, USA",
	editor        = "Oleg Kiselyov and Simon Thompson",
	isbn          = "978-1-4503-1118-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 17th Workshop on Partial Evaluation and Program Manipulation}",
	year          = 2012,
}

Contents (21 items)

PEPM-2012-Puschel #compilation #performance
Compiling math to fast code (MP), pp. 1–2.
PEPM-2012-Berger #metaprogramming #specification #verification
Specification and verification of meta-programs (MB), pp. 3–4.
PEPM-2012-MatsudaIN #cumulative #multi #polynomial #traversal
Polynomial-time inverse computation for accumulative functions with multiple data traversals (KM, KI, KN), pp. 5–14.
PEPM-2012-HamiltonJ #lts
Distillation with labelled transition systems (GWH, NDJ), pp. 15–24.
PEPM-2012-AlbertCPR #analysis #incremental #resource management
Incremental resource usage analysis (EA, JC, GP, GRD), pp. 25–34.
PEPM-2012-KarlsenHO #debugging #eclipse #java #plugin
Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.
PEPM-2012-Voigtlander #bidirectional #induction #synthesis
Ideas for connecting inductive program synthesis and bidirectionalization (JV), pp. 39–42.
PEPM-2012-Katayama #functional #induction #programming #source code
An analytical inductive functional programming system that avoids unintended programs (SK), pp. 43–52.
PEPM-2012-GorbovitskiLSR #optimisation
Composing transformations for instrumentation and optimization (MG, YAL, SDS, TR), pp. 53–62.
PEPM-2012-GiacobazziJM #obfuscation #partial evaluation
Obfuscation by partial evaluation of distorted interpreters (RG, NDJ, IM), pp. 63–72.
PEPM-2012-UrecheRSCO #case study #development #domain-specific language #named
StagedSAC: a case study in performance-oriented DSL development (VU, TR, AKS, HC, MO), pp. 73–82.
PEPM-2012-Lopez-FraguasMR #functional #logic programming
Well-typed narrowing with extra variables in functional-logic programming (FJLF, EMM, JRH), pp. 83–92.
PEPM-2012-CaretteS #towards #type system
Towards typing for small-step direct reflection (JC, AS), pp. 93–96.
PEPM-2012-DegenTW #contract #interactive #lazy evaluation
The interaction of contracts and laziness (MD, PT, SW), pp. 97–106.
PEPM-2012-Xu #contract #hybrid
Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
PEPM-2012-MoorsRHO #scala
Scala-virtualized (AM, TR, PH, MO), pp. 117–120.
PEPM-2012-KobayashiMS #functional #source code
Functional programs as compressed data (NK, KM, AS), pp. 121–130.
PEPM-2012-GotoS #approach #functional
An approach to completing variable names for implicitly typed functional languages (TG, IS), pp. 131–140.
PEPM-2012-HirzelG #metaprogramming #using
Streams that compose using macros that oblige (MH, BG), pp. 141–150.
PEPM-2012-AlbertAGGP #named #termination
COSTABS: a cost and termination analyzer for ABS (EA, PA, SG, MGZ, GP), pp. 151–154.
PEPM-2012-JainZS #nondeterminism
Translating flowcharts to non-deterministic languages (SKJ, CZ, BS), pp. 155–162.

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.