Revision as of 11:18, 3 December 2006 edit Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,151 edits m Narrowed category ← Previous edit		Revision as of 03:03, 10 December 2006 edit undo Gwern (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 48,508 edits m Robot-assisted disambiguation (you can help!): Java programming language Next edit →
Line 1: '''ESC/Java''', 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 analysis]] of the program text. Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or ''[[pragma]]s''. 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.

ESC/Java: Difference between revisions