PPDP 2001: Firenze (Florence), Italy

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. ACM 2001, ISBN 1-58113-388-X

Invited Talk

David A. Schmidt: Should UML Be Used for Declarative Programming? 1-3

Session 1

David A. Naumann: Ideal Models for Pointwise Relational and State-Free Imperative Programming. 4-15
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt: De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. 16-27
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Denotational Semantics for Timed Linda. 28-36

Invited talk

Javier Esparza: Model Checking (with) Declarative Programs. 37

Session 2

Manuel Hernández, David A. Rosenblueth: Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. 38-48
Henrik Nässén, Mats Carlsson, Konstantinos F. Sagonas: Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. 49-60
Pawel Rychlikowski, Tomasz Truderung: Polymorphic Directional Types for Logic Programming. 61-72
Annalisa Bossi, Nicoletta Cocco, Sabina Rossi: Termination of Well-Typed Logic Programs. 73-81

Session 3

Salvador Lucas: Termination of On-Demand Rewriting and Termination of OBJ Programs. 82-93
Byeong-Mo Chang, Jang-Wu Jo: Granularity of Constraint-Based Analysis for Java. 94-102
Mark Hepburn, David Wright: Trust in the Pi-Calculus. 103-114

Session 4

Christian Schulte, Peter J. Stuckey: When Do Bounds and Domain Propagation Lead to the Same Search Space? 115-126
Slim Abdennadher, Christophe Rigotti: Using Confluence to Generate Rule-Based Constraint Solvers. 127-135

Invited talk

Andrew D. Gordon: Types for Cyphers: Thwarting Mischief and Malice with Type Theory. 136

Session 5

Franklyn A. Turbak, J. B. Wells: Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. 137-149
Jean-Louis Giavitto, Olivier Michel: Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains. 150-161
Olivier Danvy, Lasse R. Nielsen: Defunctionalization at Work. 162-174
Fritz Henglein, Henning Makholm, Henning Niss: A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. 175-186

Session 6

Ricardo Pena, Fernando Rubio: Parallel Functional Programming at Two Levels of Abstraction. 187-198
Sergio Antoy: Constructor-Based Conditional Narrowing. 199-206
Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner: An Implementation of Narrowing Strategies. 207-217

Last update Fri May 24 19:43:38 2013 CET by the DBLP Team —

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