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.
2015
2015
Mesenchymal stem cell differentiation from human ESC/iPSC: the way from bench to bedside
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… 
2012
2012
Smart meter technology tradeoffs
  • Marcus R. Wigan
  • IEEE Conference on Technology and Society in Asia…
  • 2012
  • Corpus ID: 31626087
Smart meters have become a matter of concern for many populations, although the technology is as always politically neutral. The… 
2011
2011
Comments on the 2011 ESC/EAS guidelines for the management of dyslipidemias. A report of the Task Force of the Clinical Practice Guidelines Committee of the Spanish Society of Cardiology
2010
2010
Modeling Issues and Performance Analysis of High-Speed Interconnects Based on a Bundle of SWCNT
The effects of the uncertainties associated with the transverse pattern of carbon nanotubes (CNTs) of the conducting type in a… 
2009
2009
INTERVALO HÍDRICO ÓTIMO NO PERFIL EXPLORADO
O intervalo hídrico ótimo (IHO) é integrador dos fatores de crescimento das plantas, e a densidade crítica obtida é um indicativo… 
2007
2007
Elijah of Buxton
Fri, 07 Dec 2018 16:57:00 GMT elijah of buxton pdf Elijah of Buxton is an award winning children's novel written by Christopher… 
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)