6th ICLP 1989: Lisbon, Portugal

Abstract Interpretation and Implementation Issues

AND-Parallel Execution Models



Extensions and Variations of Logic Programming

Extensions of Warren Abstract Machine

Miscellaneous Theory

Parallel Implementations

Parallel Languages

Programming Environments

Program Transformations

Semantic Issues

Semantics of Concurrency

Invited Talks

a service of Schloss Dagstuhl - Leibniz Center for Informatics