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 updated on Thu May 23 03:39:21 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page