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.
Review
2015
Review
2015
THE MENTORING EXPERIENCE OF NONTRADITIONAL STUDENTS : ∗
The purpose of this study was to select an institution that has mandated mentoring as part of its mission and to examine students… 
2014
2014
ESC-MRAC of MIMO systems for constrained robotic motion tasks in deformable environments
Performance of constrained movements in multiple directions of a workspace simultaneously and in presence of uncertainty is a… 
2011
2011
Desktop Demilitarized Zone
The Desktop Demilitarized Zone or Desktop DMZ project uses virtualization technology to maintain separation of our network… 
2009
2009
Effectiveness of Electronic Stability Control on Maintaining Yaw Stability When an SUV Has a Rear Tire Tread Separation
Electronic Stability Control (ESC) has the potential of improving yaw stability and reducing the occurrence of a crash when a… 
2008
2008
Uso e conhecimento ortogrfico no transtorno especfico da leitura
PURPOSE: To investigate how children with dyslexia use the phonographemic correspondence rule in their writing regardless of… 
2006
2006
Specifying java iterators with JML and Esc/Java2
  • D. Cok
  • SAVCBS '06
  • 2006
  • Corpus ID: 38399706
The 2006 SAVCBS Workshop has posed a Challenge Problem on the topic of specifying iterators. This note provides a specification… 
2005
2005
The DLESE evaluation services group: a framework for evaluation within a digital library
The Digital Library for Earth System Education (DLESE) Evaluation Services Core (ESC) team has been established to provide… 
1989
1989
Un nuevo verismo: apuntes sobre la última novela mexicana
Los periodistas (1978), de Vicente Leficro, constituyc, entre otras cosas, un ejemplo claro de la novelistica reciente que… 
1984
1984
Modifications to improve the fault tolerance of the extra stage cube interconnection network
The Extra Stage Cube (ESC), a single-fault tolerant interconnection network, has been proposed for use in large-scale parallel… 
1974
1974
Industrial simulators: a joint ESC-MWSC meeting
of the U. S. Steel Simulation Laboratory, who had arranged a very interesting program of papers on simulators for the two-day… 
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)