PEPM 2015: Mumbai, India

Keynote Address

Types

Code Mining

Trees and Grammars

Verification

Transformation

Slicing

Analysis

maintained by Schloss Dagstuhl LZI, founded at University of Trier