ESC/Java: Difference between revisions

Revision as of 11:10, 16 November 2006

Revision as of 01:11, 24 November 2006

Line 3:

ESC/Java was 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.

The [[Radboud University Nijmegen|University of Nijmegen]]'s ''Security of Systems'' group has released [http://secure.ucd.ie/products/opensource/ESCJava2/ ESC/Java2], an extended version of ESC/Java.

== External links ==

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

* [http://secure.ucd.ie/products/opensource/ESCJava2/ ESC/Java2]

{{compsci-stub}}

[[Category:1997 introductions]]

[[Category:Computer programming tools]]

[[Category:Formal methods]]