6. ICLP 1989: Lisbon, Portugal

Abstract Interpretation and Implementation Issues

AND-Parallel Execution Models

Applications

Constraints

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