Annotation inference for modular checkers

Authors
Flanagan, C Joshi, R Leino, KRM
Citation
C. Flanagan et al., Annotation inference for modular checkers, INF PROCESS, 77(2-4), 2001, pp. 97-108
Citations number
11
Categorie Soggetti
Information Tecnology & Communication Systems
Journal title
INFORMATION PROCESSING LETTERS
ISSN journal
00200190 → ACNP
Volume
77
Issue
2-4
Year of publication
2001
Pages
97 - 108
Database
ISI
SICI code
0020-0190(20010228)77:2-4<97:AIFMC>2.0.ZU;2-6
Abstract
This paper presents a general approach to annotation inference for a given static program checker. The approach reuses the checker as a subroutine. Th e approach has been used to implement annotation inference systems for two static program checkers, ESC/Java and rccjava. The paper describes the appr oach formally and shows how it applies to ESC. (C) 2001 Elsevier Science B. V. All rights reserved.