8. ICLP 1991: Paris, France - Workshops

Background

Program Synthesis and Derivation

Program Analysis

Theoretical Foundations