Extended static checking for Java
Top Cited Papers
- 17 May 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (5), 234-245
- https://doi.org/10.1145/512529.512558
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Bugs as deviant behaviorPublished by Association for Computing Machinery (ACM) ,2001
- Applications of Extended Static CheckingLecture Notes in Computer Science, 2001
- Extended Static Checking: A Ten-Year PerspectivePublished by Springer Nature ,2001
- Houdini, an Annotation Assistant for ESC/JavaLecture Notes in Computer Science, 2001
- Annotation inference for modular checkersInformation Processing Letters, 2001
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Joining specification statementsTheoretical Computer Science, 1999
- LCLintPublished by Association for Computing Machinery (ACM) ,1994
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Proof of correctness of data representationsActa Informatica, 1972