Loading...
Please wait, while we are loading the content...
Similar Documents
ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2 (2004)
| Content Provider | CiteSeerX |
|---|---|
| Author | Cok, David R. Kiniry, Joseph R. |
| Description | In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: International Workshop, CASSIS 2004 The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML). The ESC/Java2 project, whose progress is described in this paper, builds on the final release of ESC/Java from DEC/SRC in several ways. It parses all of JML, thus can be used with the growing body of JML-annotated Java code; it has additional static checking capabilities; and it has been designed, constructed, and documented in such a way as to improve the tool's usability to both users and researchers. |
| File Format | |
| Language | English |
| Publisher | Springer–Verlag |
| Publisher Date | 2004-01-01 |
| Access Restriction | Open |
| Subject Keyword | Lauded Advance Esc Java2 Project Dec Src Several Way Esc Java Tool Additional Static Checking Capability Jml-annotated Java Code Jml Progress Effective Static Checking Esc Java2 Final Release Realistic Java Program Java Modeling Language Esc Java |
| Content Type | Text |
| Resource Type | Article |
