4. SLP 1987: San Francisco, California

Language Issues

Parallelism in Prolog

Inivted Talk

Architecture, Parallel Models

Theory, Semantics

Program Analysis, Methodology

Databases

Invited Talk

Program Development

Semantics, Languages

Methodology

Implementations

Parallel Machines

Applications I

Applications II