PPDP 2007: Wroclaw, Poland

Michael Leuschel, Andreas Podelski (Eds.): Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. ACM 2007, ISBN 978-1-59593-769-8 BibTeX

Session 1

Nick Benton, Uri Zarfaty:
Formalizing and verifying semantic type soundness of a simple compiler. 1-12
Electronic Edition (ACM DL) BibTeX
William C. Benton, Charles N. Fischer:
Interactive, scalable, declarative program analysis: from prototype to implementation. 13-24
Electronic Edition (ACM DL) BibTeX
Leslie De Koninck, Tom Schrijvers, Bart Demoen:
User-definable rule priorities for CHR. 25-36
Electronic Edition (ACM DL) BibTeX

Session 2

Konstantinos F. Sagonas:
Detecting defects in Erlang programs using static analysis. 37
Electronic Edition (ACM DL) BibTeX
Salvador Lucas:
Practical use of polynomials over the reals in proofs of termination. 39-50
Electronic Edition (ACM DL) BibTeX
Christian Skalka:
Type safe dynamic linking for JVM access control. 51-62
Electronic Edition (ACM DL) BibTeX

Session 3

Sebastian Fischer, Herbert Kuchen:
Systematic generation of glass-box test cases for functional logic programs. 63-74
Electronic Edition (ACM DL) BibTeX
James Cheney, Alberto Momigliano:
Mechanized metatheory model-checking. 75-86
Electronic Edition (ACM DL) BibTeX
Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann:
Relational semantics for effect-based program transformations with dynamic allocation. 87-96
Electronic Edition (ACM DL) BibTeX
Makoto Hamana:
Higher-order semantic labelling for inductive datatype systems. 97-108
Electronic Edition (ACM DL) BibTeX

Session 4

Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero:
Observing intermediate structures in a parallel lazy functional language. 109-120
Electronic Edition (ACM DL) BibTeX
Sergio Antoy, Bernd Braßel:
Computing with subspaces. 121-130
Electronic Edition (ACM DL) BibTeX

Session 5

Musab AlTurki, José Meseguer:
Real-time rewriting semantics of orc. 131-142
Electronic Edition (ACM DL) BibTeX
Brad Lushman, Gordon V. Cormack:
A larger decidable semiunification problem. 143-152
Electronic Edition (ACM DL) BibTeX

Session 6

Josh Berdine:
Local reasoning about storable locks. 153
Electronic Edition (ACM DL) BibTeX
Michael Hanus:
Putting declarative programming into the web: translating curry to javascript. 155-166
Electronic Edition (ACM DL) BibTeX
Isabelle Gnaedig:
Induction for positive almost sure termination. 167-178
Electronic Edition (ACM DL) BibTeX

Session 7

Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo:
Unfolding in CHR. 179-186
Electronic Edition (ACM DL) BibTeX
Chongbing Liu, Enrico Pontelli:
Nonmonotonic inductive logic programming by instance patterns. 187-196
Electronic Edition (ACM DL) BibTeX
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
A simple rewrite notion for call-time choice semantics. 197-208
Electronic Edition (ACM DL) BibTeX

Session 8

Witold Charatonik:
Regular directional types for logic programs. 209
Electronic Edition (ACM DL) BibTeX
Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu:
Efficient trust management policy analysis from rules. 211-220
Electronic Edition (ACM DL) BibTeX
Roberto M. Amadio, Frédéric Dabrowski:
Feasible reactivity in a synchronous Pi-calculus. 221-230
Electronic Edition (ACM DL) BibTeX