PEPM 2015: Mumbai, India

Keynote Address

Types

Code Mining

Trees and Grammars

Verification

Transformation

Slicing

Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics