Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh
Incremental Confined Types Analysis
LDTA, 2006.
@article{LDTA-2006-EichbergKKMS,
author = "Michael Eichberg and Sebastian Kanthak and Sven Kloppenburg and Mira Mezini and Tobias Schuh",
doi = "10.1016/j.entcs.2006.10.006",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 2,
pages = "81--96",
title = "{Incremental Confined Types Analysis}",
volume = 164,
year = 2006,
}