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 BibTeX

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

Design patterns

Coen De Roover, Johan Brichau, Theo D'Hondt:
Combining fuzzy logic and behavioral similarity for non-strict program validation. 15-26
Electronic Edition (ACM DL) BibTeX

Net technologies

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

Types

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

Language issues

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

Analysis and debugging

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

Meta-level Reasoning

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

Compilation

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