DLS 2015: Pittsburgh, PA, USA

Language Design

Formalization, Semantics, and Static Analysis

Compilation

Empirical Studies

Schloss Dagstuhl LZI