Incremental Confined Types Analysis

Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh. Incremental Confined Types Analysis. Electronic Notes in Theoretical Computer Science, 164(2):81-96, 2006. [doi]

Abstract

Abstract is missing.