ESC/Java

Known as: ESC/Java2, Esc java 
ESC/Java (and more recently ESC/Java2), the "Extended Static Checker for Java," is a programming tool that attempts to find common run-time errors in… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
– ESC/Java (http://kind.ucd.ie/products/opensource/ESCJava2/):Extended Static Checker for Java is a programming tool that… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This article provides a detailed description of the automatic theorem prover Simplify, which is the proof engine of the Extended… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with… (More)
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Bugs in software are costly and difficult to find and fix. In recent years, many tools and techniques have been developed for… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
This paper presents a case study in formal specification of smart card programs, using ESC/Java. It discusses an electronic purse… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
A static program checker that performs modular checking can check one program module for errors without needing to analyze the… (More)
  • figure 1
  • table 1
  • table 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper shows how to integrate two complementary techniques for manipulating program invariants: dynamic detection and static… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Review
2000
Review
2000
The Compaq Extended Static Checker for Java (ESC/Java) is a programming tool that attempts to find common run-time errors in Java… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper defines a simple guarded-command–like language and its semantics. The language is used as an intermediate language in… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The proliferation of text databases within large organizations and on the Internet makes it difficult for a person to know which… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?