Searching for "Extended Static Checking for Java." – sorted by Relevance.
-
Extended Static Checking for Java
- ABSTRACT Extended Static Checking for Java Cormac Flanagan K. Rustan M. Leino ∗ Mark Lillibridge
- Cited by 319 (15 self) – Add To MetaCart
-
ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2
- . Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java
- Cited by 36 (6 self) – Add To MetaCart
-
Formal reasoning about non-atomic JAVA CARD methods in Dynamic Logic
- important ones: ESC/JAVA2 [6] performs extended static checking of JAVA programs, the LOOP tool [12] employs
- Cited by 2 (2 self) – Add To MetaCart

