ESC/Java: Difference between revisions

Revision as of 07:08, 25 May 2004

Revision as of 22:41, 26 May 2004

Line 1:

'''ESC/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 ''pragmas''.

ESC/Java is a

programming tool that attempts to find common run-time errors in Java

{{msg:stub}}

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 ''pragmas''.