PPDP 2000:
Montreal, CanadaInvited Speaker
export record as
dblp key:
Session I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Speaker
export record as
dblp key:
François Fages :
Concurrent constraint programming and linear logic (abstract).
44
Session II
export record as
dblp key:
export record as
dblp key:
Session III
export record as
dblp key:
Jeff Polakow :
Linear logic programming with an ordered context.
68-79
export record as
dblp key:
Claudia Faggian :
Proof construction and non-commutativity: a cluster calculus.
80-91
export record as
dblp key:
Session IV
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bernhard Gramlich :
Simplifying termination proofs for rewrite systems by preprocessing.
139-150
Session V
export record as
dblp key:
export record as
dblp key:
conf/ppdp/Ayala-RinconK00
Invited Speaker
export record as
dblp key:
George C. Necula :
Proof-carrying code: design, implementation and applications (abstract).
175-177
Session VI
export record as
dblp key:
conf/ppdp/RoychoudhuryRR00 export record as
dblp key:
Session VII
export record as
dblp key:
export record as
dblp key:
Lunjin Lu :
A precise type analysis of logic programs.
214-225
export record as
dblp key:
Session VIII
export record as
dblp key:
export record as
dblp key:
Xining Li :
Efficient memory management in a merged heap/stack prolog machine.
245-256
export record as
dblp key:
Session IX
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
