Large-Scale Variability-Aware Type Checking and Dataflow Analysis

kaestner@cs.cmu.edu (J. Liebig, A. von Rhein, C. Kästner, S. Apel, J. Dörre, C. Lengauer)
Sat, 05 Mar 2016 18:41:39 -0500

Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer. Large-Scale Variability-Aware Type Checking and Dataflow Analysis. Technical Report MIP-1212, Passau, Germany: Department of Informatics and Mathematics, University of Passau, November 2012.