8. ICLP 1991: Paris, France - Workshops

Background

Program Synthesis and Derivation

Program Analysis

Theoretical Foundations

maintained by Schloss Dagstuhl LZI at University of Trier