Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
72
Esc/java quick reference
- Compaq Systems Research Center
, 2000
"... kind, express or implied, including, but not limited to, the implied warranties of merchantability, fitness for a particular purpose, or non-infringement. This publication could include technical inaccuracies or typographical errors. Furthermore, the Compaq Extended Static Checker for Java (ESC/Java ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
kind, express or implied, including, but not limited to, the implied warranties of merchantability, fitness for a particular purpose, or non-infringement. This publication could include technical inaccuracies or typographical errors. Furthermore, the Compaq Extended Static Checker for Java (ESC/Java
ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2
- In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: International Workshop, CASSIS 2004
, 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/ ..."
Abstract
-
Cited by 68 (8 self)
- Add to MetaCart
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
ESC/Java2 Implementation Notes
, 2008
"... Abstract: ESC/Java2 is a tool for statically checking program specifications. It expands significantly upon ESC/Java, on which it is built. It is consistent with the definition of JML and of Java 1.4. It adds additional static checking to that in ESC/Java; most significantly, it adds support for che ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Abstract: ESC/Java2 is a tool for statically checking program specifications. It expands significantly upon ESC/Java, on which it is built. It is consistent with the definition of JML and of Java 1.4. It adds additional static checking to that in ESC/Java; most significantly, it adds support
Houdini, an Annotation Assistant for ESC/Java
, 2000
"... A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each module be accompanied by annotations that specify the module. To help reduce the cost of writing specifications, this ..."
Abstract
-
Cited by 27 (1 self)
- Add to MetaCart
, this paper presents Houdini, an annotation assistant for the modular checker ESC/Java. To infer suitable ESC/Java annotations for a given program, Houdini generates a large number of candidate annotations and uses ESC/Java to verify or refute each of these annotations. The paper describes the design
B.: Soundness and Completeness Warnings in ESC/Java2
- In: Proceedings of the Fifth International Workshop on Specification and Verification of Component Based Systems (SAVCBS
, 2006
"... Usability is a key concern in the development of verification tools. In this paper, we present an usability extension for the verification tool ESC/Java2. This enhancement is not achieved through extensions to the underlying logic or calculi of ESC/Java2, but instead we focus on its human interface ..."
Abstract
-
Cited by 14 (2 self)
- Add to MetaCart
Usability is a key concern in the development of verification tools. In this paper, we present an usability extension for the verification tool ESC/Java2. This enhancement is not achieved through extensions to the underlying logic or calculi of ESC/Java2, but instead we focus on its human interface
Soundness and Completeness Warnings in ESC/Java2 ABSTRACT
"... Usability is a key concern in the development of verification tools. In this paper, we present an usability extension for the verification tool ESC/Java2. This enhancement is not achieved through extensions to the underlying logic or calculi of ESC/Java2, but instead we focus on its human interface ..."
Abstract
- Add to MetaCart
Usability is a key concern in the development of verification tools. In this paper, we present an usability extension for the verification tool ESC/Java2. This enhancement is not achieved through extensions to the underlying logic or calculi of ESC/Java2, but instead we focus on its human interface
Extended Static Checking for Java
, 2002
"... Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common programming ..."
Abstract
-
Cited by 638 (24 self)
- Add to MetaCart
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common
Specifying and Verifying Heap Space Allocation with JML and ESC/Java2
- In Proc. 6th Workshop on Very Large Corpora (WVLC-98
, 1998
"... Abstract. We examine JML’s support for specifying the heap space allocation of Java programs. In this report we restrict ourselves to specifying and verifying only allocation but not de-allocation. We identify some problems with with JML’s support and suggest alternatives. Also, we describe an imple ..."
Abstract
-
Cited by 4 (2 self)
- Add to MetaCart
an implementation of heap space allocation verification in ESC/Java2. This implementation has been tested on small examples. 1
Results 1 - 10
of
72
