6. 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

maintained by Schloss Dagstuhl LZI at University of Trier