MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Extended Static Checking for Java." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Extended Static Checking for Java
by Cormac Flanagan, K. Rustan M. Leino, K. Rustan, M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata — 2002
…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
by David R. Cok, Joseph R. Kiniry — 2004 — In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: International Workshop, CASSIS 2004
…. 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
by Wojciech Mostowski — 2006 — In Tobias Nipkow and Jayadev Misra, editors, Proceedings, Formal Methods (FM) 2006, LNCS
… 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

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB