ESC/Java: Difference between revisions

Revision as of 13:36, 10 January 2007

Revision as of 22:27, 4 February 2007

Line 1:

'''ESC/Java''' (and more recently '''ESC/Java2'''), the "Extended Static Checker for Java," is a [[programming tool]] that attempts to find common [[run-time error]]s in [[Java (programming language)|Java]] programs by [[Static code analysis|static analysis]] of the program text. It is 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 ''[[pragma]]s''.

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.

Line 13:

{{compsci-stub}}

[[Category:19972002 introductions]]

[[Category:Computer programming tools]]

[[Category:Formal methods tools]]