Stop the war!
Остановите войну!
for scientists:
default search action
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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.