| 2000 | A bottom-up semantics for linear logic programs. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 2000 | A characterization of symmetric semantics by domain complementation. Roberto Giacobazzi, Isabella Mastroeni |
| 2000 | A framework for the recursive definition of data structures. Jean-Louis Giavitto |
| 2000 | A high performance Erlang system. Erik Johansson, Mikael Pettersson, Konstantinos Sagonas |
| 2000 | A model for comparing the space usage of lazy evaluators. Adam Bakewell, Colin Runciman |
| 2000 | A parallel implementation for optimal lambda-calculus reduction. Marco Pedicini, Francesco Quaglia |
| 2000 | A precise type analysis of logic programs. Lunjin Lu |
| 2000 | Concurrent constraint programming and linear logic (abstract). François Fages |
| 2000 | Concurrent constraint programming: towards probabilistic abstract interpretation. Alessandra Di Pierro, Herbert Wiklicky |
| 2000 | Continuations for parallel logic programming. Eneia Todoran, Nikolaos Papaspyrou |
| 2000 | Declarative event-oriented programming. Conal Elliott |
| 2000 | Efficient abstract interpretation using component-wise homomorphisms. Jörg Köller, Markus Mohnen |
| 2000 | Efficient memory management in a merged heap/stack prolog machine. Xining Li |
| 2000 | Enhanced sharing analysis techniques: a comprehensive evaluation. Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
| 2000 | Extending constraint logic programming with open functions. Nikolay Pelov, Maurice Bruynooghe |
| 2000 | From logic to stochastic processes (abstract only). Prakash Panangaden |
| 2000 | Justifying proofs using memo tables. Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2000 | Linear logic programming with an ordered context. Jeff Polakow |
| 2000 | Logical relations, data abstraction, and structured fibrations. John Power, Edmund Robinson |
| 2000 | Modular resetting of synchronous data-flow programs. Grégoire Hamon, Marc Pouzet |
| 2000 | Operational semantics and extensionality. Simona Ronchi Della Rocca |
| 2000 | Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000 Maurizio Gabbrielli, Frank Pfenning |
| 2000 | Proof construction and non-commutativity: a cluster calculus. Claudia Faggian |
| 2000 | Proof-carrying code: design, implementation and applications (abstract). George C. Necula |
| 2000 | Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn |
| 2000 | Simplifying termination proofs for rewrite systems by preprocessing. Bernhard Gramlich |
| 2000 | Solving coverability problems of petri nets by partial deduction. Michael Leuschel, Helko Lehmann |
| 2000 | Symmetric monoidal sketches. Martin Hyland, John Power |
| 2000 | Type-based nondeterminism checking in functional logic programs. Michael Hanus, Frank Steiner |
| 2000 | Unification via Mauricio Ayala-Rincón, Fairouz Kamareddine |