- ESC/Java
ESC/Java (and more recently ESC/Java2), the "Extended Static Checker for Java," is a
programming tool that attempts to find commonrun-time error s in Java programs by static analysis of the program text. Recent versions of ESC/Java are based around theJava Modeling Language (JML). Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or "pragma s".ESC/Java was originally developed at the Compaq Systems Research Center (SRC). SRC launched the project in 1997, after work on their original extended static checker, ESC/Modula-3, ended in 1996. In 2002, SRC released the
source code for ESC/Java and related tools.The University of Nijmegen's "Security of Systems" group released alpha versions of ESC/Java2, an extended version of ESC/Java that processes the
JML specification language through 2004. Since 2004, ESC/Java2 development has been managed by the KindSoftware Research Group atUniversity College Dublin . Over the years, ESC/Java2 has gained many new features including the ability to reason with multipletheorem prover s and integration with Eclipse.External links
* [http://web.archive.org/web/20051208055447/http://research.compaq.com/SRC/esc/ Extended Static Checking for Java] from the
Internet Archive
* [http://kind.ucd.ie/products/opensource/ESCJava2/ ESC/Java2]
* [http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-159.html SRC-RR-159 Extended Static Checking. - David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe]
* [http://web.archive.org/web/20010228175138/research.compaq.com/SRC/esc/escm3/download.html Extended Static Checking Modula-3] from theInternet Archive
* [http://www.researchchannel.org/prog/displayevent.aspx?rID=2761&fID=345 Extended Static Checking] Computer Science & Engineering Colloquia. University of Washington. 1999.
Wikimedia Foundation. 2010.