PEPM 2015: Mumbai, India

Keynote Address

Types

Code Mining

Trees and Grammars

Verification

Transformation

Slicing

Analysis

maintained by Schloss Dagstuhl LZI at University of Trier