10. LOPSTR 2000: London, UK

Synthesis

Transformation

Analysis

Specialisation

Abstract Interpretation

Debugging

maintained by Schloss Dagstuhl LZI at University of Trier