Incremental Confined Types Analysis. - Michael Eichberg; Sebastian Kanthak; Sven Kloppenburg; Mira Mezini; Tobias Schuh (LDTA@ETAPS, 2006)