PEPM 2011: Austin, TX, USA

Siau-Cheng Khoo, Jeremy G. Siek (Eds.): Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. ACM 2011, ISBN 978-1-4503-0485-6

Invited talk 1 and continuations

Olivier Danvy, Jacob Johannsen, Ian Zerny:
A walk in the semantic park. 1-12
Dimitrios Vardoulakis, Olin Shivers:
Ordering multiple continuations on the stack. 13-22

Partial evaluation

Torben Æ. Mogensen:
Partial evaluation of the reversible language janus. 23-32
Peter A. Jonsson, Johan Nordlander:
Taming code explosion in supercompilation. 33-42
Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo:
Allocation removal by partial evaluation in a tracing JIT. 43-52

Embedded languages

Jacques Carette, Mustafa Elsheikh, Spencer Smith:
A generative geometric kernel. 53-62
Yan Wang, Verónica Gaspes:
An embedded language for programming protocol stacks in embedded systems. 63-72

Tools

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
Verified resource guarantees using COSTA and KeY. 73-76

Invited talk 2

Charles Consel:
DiaSuite: a paradigm-oriented software development approach. 77-78

Invited talk 3 and program synthesis

Martin C. Rinard:
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. 79-80
Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Adaptation-based programming in java. 81-90

Program calculations

Hugo Pacheco, Alcino Cunha:
Calculating with lenses: optimising bidirectional transformations. 91-100
Yuta Ikeda, Susumu Nishimura:
Calculating tree navigation with symmetric relational zipper. 101-110

Functional-logic programming

Rafael Caballero:
A program transformation for returning states in functional-logic programs. 111-120
Enrique Martin-Martin:
Type classes in functional logic programming. 121-130

Functional programming

João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer:
Strictification of circular programs. 131-140
Olaf Chitil:
A semantics for lazy assertions. 141-150
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen:
iTasks for a change: type-safe run-time change in dynamically evolving workflows. 151-160

Last update Fri May 25 08:31:50 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page