Incremental Confined Types Analysis
Michael Eichberg; Sebastian Kanthak; Sven Kloppenburg; Mira Mezini; Tobias Schuh
- 作者Michael Eichberg; Sebastian Kanthak; Sven Kloppenburg; Mira Mezini; Tobias Schuh
- 卷第164卷
- 期第2期
- 印刷ISSN1571-0661
- 文件大小704.23KB
- 发表时间2006
- DOI10.1016/j.entcs.2006.10.006
- 页码81-96