Collaborated with:
M.Eichberg S.Kanthak S.Kloppenburg M.Mezini
Talks about:
increment (1) analysi (1) confin (1) type (1)
Person: Tobias Schuh
DBLP: Schuh:Tobias
Contributed to:
Wrote 1 papers:
- LDTA-2006-EichbergKKMS #analysis #incremental
- Incremental Confined Types Analysis (ME, SK, SK, MM, TS), pp. 81–96.