Houdini, an Annotation Assistant for ESC/Java
- 16 March 2001
- book chapter
- Published by Springer Nature
- p. 500-517
- https://doi.org/10.1007/3-540-45251-6_29
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Quickly detecting relevant program invariantsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Annotation inference for modular checkersPublished by Elsevier ,2001
- Avoiding exponential explosionPublished by Association for Computing Machinery (ACM) ,2001
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Mercator: A scalable, extensible Web crawlerWorld Wide Web, 1999
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- Set-based analysis of ML programsPublished by Association for Computing Machinery (ACM) ,1994
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977