| 2000 | Extending constraint logic programming with open functions. | Nikolay Pelov, Maurice Bruynooghe |
| 2000 | A parallel implementation for optimal lambda-calculus reduction. | Marco Pedicini, Francesco Quaglia |
| 2000 | From logic to stochastic processes (abstract only). | Prakash Panangaden |
| 2000 | Proof-carrying code: design, implementation and applications (abstract). | George C. Necula |
| 2000 | A precise type analysis of logic programs. | Lunjin Lu |
| 2000 | Efficient memory management in a merged heap/stack prolog machine. | Xining Li |
| 2000 | Solving coverability problems of petri nets by partial deduction. | Michael Leuschel, Helko Lehmann |
| 2000 | Efficient abstract interpretation using component-wise homomorphisms. | Jrg Kller, Markus Mohnen |
| 2000 | A high performance Erlang system. | Erik Johansson, Mikael Pettersson, Konstantinos Sagonas |
| 2000 | Symmetric monoidal sketches. | Martin Hyland, John Power |
| 2000 | Type-based nondeterminism checking in functional logic programs. | Michael Hanus, Frank Steiner |
| 2000 | Modular resetting of synchronous data-flow programs. | Grgoire Hamon, Marc Pouzet |
| 2000 | Simplifying termination proofs for rewrite systems by preprocessing. | Bernhard Gramlich |
| 2000 | A framework for the recursive definition of data structures. | Jean-Louis Giavitto |
| 2000 | A characterization of symmetric semantics by domain complementation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2000 | Proof construction and non-commutativity: a cluster calculus. | Claudia Faggian |
| 2000 | Concurrent constraint programming and linear logic (abstract). | Franois Fages |
| 2000 | Declarative event-oriented programming. | Conal Elliott |
| 2000 | Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. | Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn |
| 2000 | A bottom-up semantics for linear logic programs. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 2000 | A model for comparing the space usage of lazy evaluators. | Adam Bakewell, Colin Runciman |
| 2000 | Enhanced sharing analysis techniques: a comprehensive evaluation. | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
| 2000 | Unification via | Mauricio Ayala-Rincn, Fairouz Kamareddine |
| 1999 | Widening Sharing. | Enea Zaffanella, Roberto Bagnara, Patricia M. Hill |
| 1999 | Modular Termination Proofs for Prolog with Tabling. | Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye |