dblp.uni-trier.de www.uni-trier.de

10. PLILP / 7. ALP 1998: Pisa, Italy

Catuscia Palamidessi, Hugh Glaser, Karl Meinke (Eds.): Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings. Lecture Notes in Computer Science 1490 Springer 1998, ISBN 3-540-65012-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Verification: Invited Paper

Logic Programming I

Static Analysis

Software Methodologies: Invited Paper

Object Oriented Programming

Term Rewriting

Semantics: Tutorial

Functional Programming

Metaprogramming: Tutorial

Logic Programming II

Optimal Evaluation: Tutorial

Integration

Constraint Solving

Copyright © Mon Nov 2 21:03:31 2009 by Michael Ley (ley@uni-trier.de)