440Forums  |  MacMusic.org  |  PcMusic.org  |  440tv  |  Zicos  |  AudioLexic
and   {key13}


ESC/Java2 2.0b2 (Default branch)

FreshMeat

Tuesday October 9, 2007. 12:38 PM
FreshMeat

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. License: Other/Proprietary License with Source Changes: The command line .bat file for Windows has been updated to fix an issue with Java 1.5. The default parameters for Simplify have been modified to prevent a 'wrong output' error.
ESC/Java2 Extended Static Checker Java. automatically statically modularly detec ESC/Java2 2.0b2 (Default branch)
ESC/Java2 2.0b2 (Default branch) Read more at FreshMeat
www.pheedo.com/click.phdo?i=926444a24e54b2e688dadc09bec105c9

 

 Related News 

Search

Download Zicos
Tue October 14, 11:17 AM
and   {key13}