10th LOPSTR 2000: London, UK

Synthesis

Transformation

Analysis

Specialisation

Abstract Interpretation

Debugging

maintained by Schloss Dagstuhl LZI, founded at University of Trier