
Conferences in DBLP
 Prakash Panangaden
From logic to stochastic processes (abstract only). [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:12 [Conf]
 Marco Pedicini, Francesco Quaglia
A parallel implementation for optimal lambdacalculus reduction. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:314 [Conf]
 John Power, Edmund Robinson
Logical relations, data abstraction, and structured fibrations. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:1523 [Conf]
 Simona Ronchi Della Rocca
Operational semantics and extensionality. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:2431 [Conf]
 Erik Johansson, Mikael Pettersson, Konstantinos F. Sagonas
A high performance Erlang system. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:3243 [Conf]
 François Fages
Concurrent constraint programming and linear logic (abstract). [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:44 [Conf]
 JeanLouis Giavitto
A framework for the recursive definition of data structures. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:4555 [Conf]
 Conal Elliott
Declarative eventoriented programming. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:5667 [Conf]
 Jeff Polakow
Linear logic programming with an ordered context. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:6879 [Conf]
 Claudia Faggian
Proof construction and noncommutativity: a cluster calculus. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:8091 [Conf]
 Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
A bottomup semantics for linear logic programs. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:92102 [Conf]
 Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
Enhanced sharing analysis techniques: a comprehensive evaluation. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:103114 [Conf]
 Roberto Giacobazzi, Isabella Mastroeni
A characterization of symmetric semantics by domain complementation. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:115126 [Conf]
 Alessandra Di Pierro, Herbert Wiklicky
Concurrent constraint programming: towards probabilistic abstract interpretation. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:127138 [Conf]
 Bernhard Gramlich
Simplifying termination proofs for rewrite systems by preprocessing. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:139150 [Conf]
 Adam Bakewell, Colin Runciman
A model for comparing the space usage of lazy evaluators. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:151162 [Conf]
 Mauricio AyalaRincón, Fairouz Kamareddine
Unification via s_{e}style of explicit substitution. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:163174 [Conf]
 George C. Necula
Proofcarrying code: design, implementation and applications (abstract). [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:175177 [Conf]
 Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan
Justifying proofs using memo tables. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:178189 [Conf]
 Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:190201 [Conf]
 Michael Hanus, Frank Steiner
Typebased nondeterminism checking in functional logic programs. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:202213 [Conf]
 Lunjin Lu
A precise type analysis of logic programs. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:214225 [Conf]
 Jörg Köller, Markus Mohnen
Efficient abstract interpretation using componentwise homomorphisms. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:226234 [Conf]
 Nikolay Pelov, Maurice Bruynooghe
Extending constraint logic programming with open functions. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:235244 [Conf]
 Xining Li
Efficient memory management in a merged heap/stack prolog machine. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:245256 [Conf]
 Eneia Todoran, Nikolaos Papaspyrou
Continuations for parallel logic programming. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:257267 [Conf]
 Michael Leuschel, Helko Lehmann
Solving coverability problems of petri nets by partial deduction. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:268279 [Conf]
 Martin Hyland, John Power
Symmetric monoidal sketches. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:280288 [Conf]
 Grégoire Hamon, Marc Pouzet
Modular resetting of synchronous dataflow programs. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:289300 [Conf]
