PPDP 2011: Odense, Denmark

Peter Schneider-Kamp, Michael Hanus (Eds.): Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark. ACM 2011, ISBN 978-1-4503-0776-5

Invited talks

Vitaly Lagoon:
The challenges of constraint-based test generation. 1-2
Andrey Rybalchenko:
Towards automatic synthesis of software verification tools. 3-4

Verification and specification

Felix Schernhammer, José Meseguer:
Incremental checking of well-founded recursive specifications modulo axioms. 5-16
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
Graph-transformation verification using monadic second-order logic. 17-28

Declarative languages

Georg Sauthoff, Stefan Janssen, Robert Giegerich:
Bellman's GAP: a declarative language for dynamic programming. 29-40
Rafael del Vado Vírseda, Fernando Pérez Morente:
A modular semantics for higher-order declarative programming with constraints. 41-52

Analysis

Jan Christiansen, Daniel Seidel:
Minimally strict polymorphic functions. 53-64
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. 65-76
Tony Bourdier, Horatiu Cirstea:
Symbolic analysis of network security policies using rewrite systems. 77-88
Dario Colazzo, Carlo Sartiani:
Precision and complexity of XQuery type inference. 89-100

Concurrency

David Sabel, Manfred Schmidt-Schauß:
A contextual semantics for concurrent Haskell with futures. 101-112
Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar:
Nitpicking c++ concurrency. 113-124

Logic programming and constraints

Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov:
Maintaining distributed logic programs incrementally. 125-136
Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo:
CLP projection for constraint handling rules. 137-148

Types and Lambda calculus

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet:
Typing control operators in the CPS hierarchy. 149-160
Bernardo Toninho, Luís Caires, Frank Pfenning:
Dependent session types via intuitionistic linear type theory. 161-172
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. 173-182
Nicolas Guenot:
Nested proof search as reduction in the Lambda-calculus. 183-194

Last update Fri May 25 08:33:09 2012 CET by the DBLP Team —

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