Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

17 relations
ANSI/ISO C Specification LanguageAutomated theorem provingBounds checkingCompile time

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
The tertius roles in a coopetitve context : The case of the European aeronautical and aerospace engineering sector
Highly Cited
2012
Highly Cited
2012
Coordinated Control of Hybrid 4WD Vehicles for Enhanced Maneuverability and Lateral Stability
This paper presents a method for coordinated control of hybrid four-wheel drive (4WD) vehicles (H4Vs), which consists of a front… 
Highly Cited
2010
Highly Cited
2010
A Call to Context
The novel format of IOP focuses on interactive exchanges on topics of importance to science and practice in our field. The… 
Highly Cited
2006
Highly Cited
2006
Cultural Proximity and Trade
Cultural proximity increases bilateral trade flows through a trade-cost and a bilateral-affinity (preferences) channel… 
Highly Cited
2005
Highly Cited
2005
Extending JML for Modular Specification and Verification of Multi-threaded Programs
The Java Modeling Language (JML) is a formal specification language for Java that allows developers to specify rich software… 
Highly Cited
2005
Highly Cited
2005
Universes: Lightweight Ownership for JML
Object-oriented programs with arbitrary object structures are difficult to understand, to maintain, and to reason about… 
Review
2005
Review
2005
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
Many state-based specification languages, including the Java Modeling Language (JML), contain at their core specification… 
Highly Cited
2001
Highly Cited
2001
Annotation inference for modular checkers
Review
2000
Review
2000
ESC/Java User's Manual
The Compaq Extended Static Checker for Java (ESC/Java) is a programming tool that attempts to find common run-time errors in Java… 
Highly Cited
1999
Highly Cited
1999
Checking Java Programs via Guarded Commands
This paper defines a simple guarded-command–like language and its semantics. The language is used as an intermediate language in… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)