PPDP 2000: Montreal, Canada

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, September 20-23, 2000, Montreal, Canada. ACM, 2000

Invited Speaker

Prakash Panangaden:
From logic to stochastic processes (abstract only). 1-2
Electronic Edition (ACM DL) BibTeX

Session I

Marco Pedicini, Francesco Quaglia:
A parallel implementation for optimal lambda-calculus reduction. 3-14
Electronic Edition (ACM DL) BibTeX
John Power, Edmund Robinson:
Logical relations, data abstraction, and structured fibrations. 15-23
Electronic Edition (ACM DL) BibTeX
Simona Ronchi Della Rocca:
Operational semantics and extensionality. 24-31
Electronic Edition (ACM DL) BibTeX
Erik Johansson, Mikael Pettersson, Konstantinos F. Sagonas:
A high performance Erlang system. 32-43
Electronic Edition (ACM DL) BibTeX

Invited Speaker

François Fages:
Concurrent constraint programming and linear logic (abstract). 44
Electronic Edition (ACM DL) BibTeX

Session II

Jean-Louis Giavitto:
A framework for the recursive definition of data structures. 45-55
Electronic Edition (ACM DL) BibTeX
Conal Elliott:
Declarative event-oriented programming. 56-67
Electronic Edition (ACM DL) BibTeX

Session III

Jeff Polakow:
Linear logic programming with an ordered context. 68-79
Electronic Edition (ACM DL) BibTeX
Claudia Faggian:
Proof construction and non-commutativity: a cluster calculus. 80-91
Electronic Edition (ACM DL) BibTeX
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
A bottom-up semantics for linear logic programs. 92-102
Electronic Edition (ACM DL) BibTeX

Session IV

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation. 103-114
Electronic Edition (ACM DL) BibTeX
Roberto Giacobazzi, Isabella Mastroeni:
A characterization of symmetric semantics by domain complementation. 115-126
Electronic Edition (ACM DL) BibTeX
Alessandra Di Pierro, Herbert Wiklicky:
Concurrent constraint programming: towards probabilistic abstract interpretation. 127-138
Electronic Edition (ACM DL) BibTeX

Bernhard Gramlich:
Simplifying termination proofs for rewrite systems by preprocessing. 139-150
Electronic Edition (ACM DL) BibTeX

Session V

Adam Bakewell, Colin Runciman:
A model for comparing the space usage of lazy evaluators. 151-162
Electronic Edition (ACM DL) BibTeX
Mauricio Ayala-Rincón, Fairouz Kamareddine:
Unification via s_e-style of explicit substitution. 163-174
Electronic Edition (ACM DL) BibTeX

Invited Speaker

George C. Necula:
Proof-carrying code: design, implementation and applications (abstract). 175-177
Electronic Edition (ACM DL) BibTeX

Session VI

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan:
Justifying proofs using memo tables. 178-189
Electronic Edition (ACM DL) BibTeX
Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn:
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. 190-201
Electronic Edition (ACM DL) BibTeX

Session VII

Michael Hanus, Frank Steiner:
Type-based nondeterminism checking in functional logic programs. 202-213
Electronic Edition (ACM DL) BibTeX
Lunjin Lu:
A precise type analysis of logic programs. 214-225
Electronic Edition (ACM DL) BibTeX
Jörg Köller, Markus Mohnen:
Efficient abstract interpretation using component-wise homomorphisms. 226-234
Electronic Edition (ACM DL) BibTeX

Session VIII

Nikolay Pelov, Maurice Bruynooghe:
Extending constraint logic programming with open functions. 235-244
Electronic Edition (ACM DL) BibTeX
Xining Li:
Efficient memory management in a merged heap/stack prolog machine. 245-256
Electronic Edition (ACM DL) BibTeX
Eneia Todoran, Nikolaos Papaspyrou:
Continuations for parallel logic programming. 257-267
Electronic Edition (ACM DL) BibTeX

Session IX

Michael Leuschel, Helko Lehmann:
Solving coverability problems of petri nets by partial deduction. 268-279
Electronic Edition (ACM DL) BibTeX
Martin Hyland, John Power:
Symmetric monoidal sketches. 280-288
Electronic Edition (ACM DL) BibTeX
Grégoire Hamon, Marc Pouzet:
Modular resetting of synchronous data-flow programs. 289-300
Electronic Edition (ACM DL) BibTeX