ESC/Java: Difference between revisions

Revision as of 00:21, 4 February 2012

Revision as of 20:36, 21 November 2012

Line 6:

ESC/Java was originally developed at the [[DEC Systems Research Center|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. Recent versions of ESC/Java are based around the [[Java Modeling Language]] (JML). Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or ''[[Directive (programming)|pragmas]]''.

The [[Radboud University Nijmegen|University of Nijmegen]]'s ''Security of Systems'' group released alpha versions of ESC/Java2, an extended version of ESC/Java that processes the [[Java Modeling Language|JML]] specification language through 2004. SinceFrom 2004 to 2009, ESC/Java2 development has beenwas managed by the KindSoftware Research Group at [[University College Dublin]], which in 2009 moved to the [[IT University of Copenhagen]], and in 2012 to the [[Technical University of Denmark]]. Over the years, ESC/Java2 has gained many new features including the ability to reason with multiple [[theorem prover]]s and integration with [[Eclipse (software)|Eclipse]].

== References ==

Line 14:

* [http://www.hpl.hp.com/downloads/crl/jtk/ Java Programming Toolkit Source Release]

* [http://web.archive.org/web/20051208055447/http://research.compaq.com/SRC/esc/ Extended Static Checking for Java] from the [[Internet Archive]]

* [http://kindwww.ucdkindsoftware.iecom/products/opensource/ESCJava2/ ESC/Java2 at KindSoftware]

* [ftp://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 the [[Internet Archive]]