10th LOPSTR 2000: London, UK

Synthesis

Transformation

Analysis

Specialisation

Abstract Interpretation

Debugging

a service of Schloss Dagstuhl - Leibniz Center for Informatics