7. NACLP 1990: Austin, Texas

Semantics

Implementation I

Constraints and their Applications

Concurrency

Databases

Implementation II

Partial Evaluation

Constraints

Theory

Program Analysis

Proof Theory

Parallelism I

Negation

Parallelism II

Abstracts of Invited Lectures

Abstracts of Advanced Tutorials