1 project tagged "Unix Shell"
Updated 05 Nov 2008
ESC/Java2
| Pop | 52.55 |
|---|---|
| Vit | 3.54 |
ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java programs that have (optional) annotations written in JML.
