Wei-Ngan Chin, Jurriaan Hage
Proceedings of the 19th Workshop on Partial Evaluation and Program Manipulation
PEPM, 2014.

@proceedings{PEPM-2014,
	acmid         = "2543728",
	address       = "San Diego, California, USA",
	editor        = "Wei-Ngan Chin and Jurriaan Hage",
	isbn          = "978-1-4503-2619-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 19th Workshop on Partial Evaluation and Program Manipulation}",
	year          = 2014,
}

Event page: http://www.program-transformation.org/PEPM14/WebHome

Contents (19 items)

3 ×#bidirectional
3 ×#semantics
2 ×#attribute grammar
2 ×#combinator
2 ×#named

PEPM-2014-Fahndrich #ide #lessons learnt #runtime

Lessons from a web-based IDE and runtime (MF), pp. 1–2.

PEPM-2014-KameyamaKS #code generation #combinator

Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.

PEPM-2014-CheneyLRW #effectiveness #query

Effective quotation: relating approaches to language-integrated query (JC, SL, GR, PW), pp. 15–26.

PEPM-2014-MiaoS #java #metaprogramming

Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.

PEPM-2014-PachecoHF #bidirectional #combinator #monad #programming

Monadic combinators for “Putback” style bidirectional programming (HP, ZH, SF), pp. 39–50.

PEPM-2014-WangN #bidirectional #revisited #semantics

Semantic bidirectionalization revisited (MW, SN), pp. 51–62.

PEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware

Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.

PEPM-2014-AdamsFM #exclamation #optimisation #scrap your boilerplate

Optimizing SYB is easy! (MDA, AF, JPM), pp. 71–82.

PEPM-2014-KerneisSH #continuation #named #performance #static analysis

QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines (GK, CS, SH), pp. 83–94.

PEPM-2014-Scholz #case study #compilation #experience #partial evaluation

Partial evaluation as universal compiler tool: experiences from the SAC Eco system (SBS), pp. 95–96.

PEPM-2014-FarmerSG

The HERMIT in the stream: fusing stream fusion’s concatMap (AF, CHzS, AG), pp. 97–108.

PEPM-2014-LeatherJLS #semantics

Type-changing rewriting and semantics-preserving transformation (SL, JJ, AL, BS), pp. 109–120.

PEPM-2014-PayetS #android #process #semantics

An operational semantics for android activities (ÉP, FS), pp. 121–132.

PEPM-2014-0008E #c++ #detection #fault

Early detection of type errors in C++ templates (SC, ME), pp. 133–144.

PEPM-2014-BransenDS #attribute grammar #incremental #lazy evaluation

Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.

PEPM-2014-Garcia-PerezNS #λ-calculus

Deriving interpretations of the gradually-typed λ calculus (ÁGP, PN, IS), pp. 157–168.

PEPM-2014-LiTSF #automation #evolution #testing #web #web service

Automating property-based testing of evolving web services (HL, SJT, PLS, MAF), pp. 169–180.

PEPM-2014-HanusS #analysis #composition #functional #logic programming #source code

A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.

PEPM-2014-CosteaSD #named #verification

HIPimm: verifying granular immutability guarantees (AC, AS, CD), pp. 189–194.