7. ICLP 1990: Jerusalem, Israel

Concurrent Logic Languages

Architectures

Logic Databases

Implementation

Constraints, Attribute Grammars

Independent And-Parallelism

And-Parallelism

Parallel Systems and Algorithms

Grammars, Program Mappings, Proof Constructions

Semantics

Language Issues

Higher-Order Logic, Abduction

Negation

Program Termination

Program Synthesis and Optimization

Program Analysis and Transformation

Abstracts of Invited Lectures

Abstracts of Advanced Tutorials