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 BibTeX

@proceedings{DBLP:conf/ppdp/2001,
  title     = {Proceedings of the 3rd international ACM SIGPLAN conference on
               Principles and practice of declarative programming, September
               5-7, 2001, Florence, Italy},
  booktitle = {PPDP},
  publisher = {ACM},
  year      = {2001},
  isbn      = {1-58113-388-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

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

Session 1

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

Invited talk

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

Session 2

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

Session 3

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

Session 4

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

Invited talk

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

Session 5

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

Session 6

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