Siau-Cheng Khoo, Jeremy G. Siek
Proceedings of the 16th Workshop on Partial Evaluation and Program Manipulation
PEPM, 2011.

@proceedings{PEPM-2011,
	acmid         = "1929501",
	address       = "Austin, Texas, USA",
	editor        = "Siau-Cheng Khoo and Jeremy G. Siek",
	isbn          = "978-1-4503-0485-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th Workshop on Partial Evaluation and Program Manipulation}",
	year          = 2011,
}

Contents (18 items)

3 ×#source code
2 ×#functional
2 ×#logic programming
2 ×#partial evaluation
2 ×#program transformation
2 ×#programming
2 ×#semantics

PEPM-2011-DanvyJZ #semantics

A walk in the semantic park (OD, JJ, IZ), pp. 1–12.

PEPM-2011-VardoulakisS #continuation #multi #stack

Ordering multiple continuations on the stack (DV, OS), pp. 13–22.

PEPM-2011-Mogensen #partial evaluation

Partial evaluation of the reversible language janus (TÆM), pp. 23–32.

PEPM-2011-JonssonN #explosion #supercompilation

Taming code explosion in supercompilation (PAJ, JN), pp. 33–42.

PEPM-2011-BolzCFLPR #jit #partial evaluation

Allocation removal by partial evaluation in a tracing JIT (CFB, AC, MF, ML, SP, AR), pp. 43–52.

PEPM-2011-CaretteES #generative #geometry #kernel

A generative geometric kernel (JC, ME, SS), pp. 53–62.

PEPM-2011-WangG #embedded #programming #protocol

An embedded language for programming protocol stacks in embedded systems (YW, VG), pp. 63–72.

PEPM-2011-AlbertBGHPR #using

Verified resource guarantees using COSTA and KeY (EA, RB, SG, RH, GP, GRD), pp. 73–76.

PEPM-2011-Consel #approach #development #named

DiaSuite: a paradigm-oriented software development approach (CC), pp. 77–78.

PEPM-2011-Rinard #bound #probability #program analysis #program transformation #source code

Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.

PEPM-2011-BauerEFP #adaptation #java #programming

Adaptation-based programming in java (TB, ME, AF, JP), pp. 81–90.

PEPM-2011-PachecoC #bidirectional #lens #optimisation

Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.

PEPM-2011-IkedaN #navigation #relational #symmetry

Calculating tree navigation with symmetric relational zipper (YI, SN), pp. 101–110.

PEPM-2011-Caballero #functional #logic programming #program transformation #source code

A program transformation for returning states in functional-logic programs (RC), pp. 111–120.

PEPM-2011-Martin-Martin #functional #logic programming

Type classes in functional logic programming (EMM), pp. 121–130.

PEPM-2011-FernandesSSV #source code #strict

Strictification of circular programs (JPF, JS, DS, JV), pp. 131–140.

PEPM-2011-Chitil #lazy evaluation #semantics

A semantics for lazy assertions (OC), pp. 141–150.

PEPM-2011-PlasmeijerAKLNG #evolution #runtime #type safety #workflow

iTasks for a change: type-safe run-time change in dynamically evolving workflows (RP, PA, PWMK, BL, TvN, JHGvG), pp. 151–160.