PPDP 2006: Venice, Italy

Annalisa Bossi, Michael J. Maher (Eds.): Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy. ACM 2006, ISBN 1-59593-388-3

Mikkel Bundgaard, Vladimiro Sassone:
Typed polyadic pi-calculus in bigraphs. 1-12
Thom W. Frühwirth:
Constraint handling rules: the story so far. 13-14

Design patterns

Coen De Roover, Johan Brichau, Theo D'Hondt:
Combining fuzzy logic and behavioral similarity for non-strict program validation. 15-26

Net technologies

Michael Hanus:
Type-oriented construction of web user interfaces. 27-38
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali:
An abductive framework for a-priori verification of web services. 39-50
Dario Colazzo, Carlo Sartiani:
An efficient algorithm for XML type projection. 51-60
Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
BASS: boxed ambients with safe sessions. 61-72

Types

Robin Abraham, Martin Erwig:
Type inference for spreadsheets. 73-84
Tom Schrijvers, Maurice Bruynooghe:
Polymorphic algebraic data type reconstruction. 85-96
Martin Sulzmann:
Extracting programs from type class proofs. 97-108

Language issues

Ricardo Caferra, Rachid Echahed, Nicolas Peltier:
Rewriting term-graphs with priority. 109-120
Isabelle Gnaedig, Hélène Kirchner:
Computing constructor forms with non terminating rewrite programs. 121-132
Andres Löh, Ralf Hinze:
Open data types and open functions. 133-144
Maribel Fernández, Fabien Fleutot:
A historic functional and object-oriented calculus. 145-156

Analysis and debugging

Josep Silva, Olaf Chitil:
Combining algorithmic debugging and program slicing. 157-166
Tobias Lindahl, Konstantinos F. Sagonas:
Practical type inference based on success typings. 167-178
Dale Miller:
Collection analysis for Horn clause programs. 179-188

Meta-level Reasoning

Murdoch Gabbay, Aad Mathijssen:
One-and-a-halfth-order logic. 189-200
Yosihiro Yuse, Atsushi Igarashi:
A modal type system for multi-level generating extensions with persistent code. 201-212
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Inferring dynamic credentials for rôle-based trust management. 213-224

Compilation

Eugen-Nicolae Volanschi:
Condate: a proto-language at the confluence between checking and compiling. 225-236
Huu-Duc Nguyen, Atsushi Ohori:
Compiling ML polymorphism with explicit layout bitmap. 237-248
Yutaka Matsuno, Atsushi Ohori:
A type system equivalent to static single assignment. 249-260
Germán Puebla, Claudio Ochoa:
Poly-controlled partial evaluation. 261-271