26. LOPSTR 2016: Edinburgh, UK

Program Transformation

Constraint Programming

Compilation and Optimization

Analysis and Verification

Testing

Semantics and Model Checking

Types, Unification, and Logic

maintained by Schloss Dagstuhl LZI at University of Trier