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

maintained by Schloss Dagstuhl LZI at University of Trier