440Forums  |  MacMusic.org  |  PcMusic.org  |  440tv  |  Zicos  |  AudioLexic
and   {key13}
16 sources
Windows
Mac
Linux

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 
Libquicktime 1.0.1 (Default branch) Libquicktime 1.0.1 (Default branch)
 FreshMeat 10/14/07 01 AM 
AceUnit 0.1.1 (Default branch) AceUnit 0.1.1 (Default branch)
 FreshMeat 10/14/07 01 AM 
Freshmeat GUI 1 (Default branch) Freshmeat GUI 1 (Default branch)
 FreshMeat 10/14/07 01 AM 
OCamlScripting 1.0-alpha (Default branch) OCamlScripting 1.0-alpha (Default branch)
 FreshMeat 10/14/07 01 AM 
gladTeX 1.1 (Default branch) gladTeX 1.1 (Default branch)
 FreshMeat 10/14/07 01 AM 
nPlot 0.4.7 (Default branch) nPlot 0.4.7 (Default branch)
 FreshMeat 10/14/07 01 AM 
Botan 1.7.2 (Development branch) Botan 1.7.2 (Development branch)
 FreshMeat 10/14/07 12 AM 
lmadl 2.0 (Default branch) lmadl 2.0 (Default branch)
 FreshMeat 10/14/07 12 AM 
glTail.rb 0.06 (Default branch) glTail.rb 0.06 (Default branch)
 FreshMeat 10/14/07 12 AM 
Zile is Lossy Emacs 2.2.45 (Default branch) Zile is Lossy Emacs 2.2.45 (Default branch)
 FreshMeat 10/14/07 12 AM 
libpng 1.2.22 (Default branch) libpng 1.2.22 (Default branch)
 FreshMeat 10/14/07 12 AM 
Sturmbahnfahrer 1.5.3 (Default branch) Sturmbahnfahrer 1.5.3 (Default branch)
 FreshMeat 10/14/07 12 AM 
Password Manager Daemon 1.2 (Default branch) Password Manager Daemon 1.2 (Default branch)
 FreshMeat 10/14/07 12 AM 
Pantry 22 (Default branch) Pantry 22 (Default branch)
 FreshMeat 10/14/07 12 AM 
Wechselspieler 0.9 (Default branch) Wechselspieler 0.9 (Default branch)
 FreshMeat 10/14/07 12 AM 
GNU Smalltalk 2.95e (Development branch) GNU Smalltalk 2.95e (Development branch)
 FreshMeat 10/14/07 12 AM 
pycrc 0.6.3 (Default branch) pycrc 0.6.3 (Default branch)
 FreshMeat 10/13/07 09 PM 
PrjPlanner 1.1.0 (Default branch) PrjPlanner 1.1.0 (Default branch)
 FreshMeat 10/13/07 09 PM 
autocrc 0.2 (Default branch) autocrc 0.2 (Default branch)
 FreshMeat 10/13/07 09 PM 
AsmBug 0.9.45 (Default branch) AsmBug 0.9.45 (Default branch)
 FreshMeat 10/13/07 09 PM 
AsmMgr 0.9.44 (Default branch) AsmMgr 0.9.44 (Default branch)
 FreshMeat 10/13/07 09 PM 

Options
Filters
Submit Site
About Us
Search
Download Zicos
Tue October 14, 11:17 AM
Top 20
Lotus 1.0 - Timer for monitoring your daily meditation excercises. (Free)
iPod To Computer Transfer
iPhoneModem 1.7 - Use your iPhone as a modem to connect to the internet. (Free)
ZipCarton 0.5 - Apple Address Book plugin for ZIP code lookups. (Free)
Delicious - Emily's Tea Garden 1.0 - Join Emily for more fast-paced fun in this restaurant sim game. (Demo)
A New Mac Tip Every Day 2.0 - Mac tips on your Dashboard. (Free)
VMware Workstation For Windows 6.5 Build 118166
PC Spyware Removal Tool
SilverFast Ai High-End Heidelberg Scanner 6.6r2 - For Heidelberg scanners. (Demo)
POKATreader
ChangeDesktop 3.0.3 - Changes desktop picture at specific intervals. (Free)
Hazel 2.2.2 - Your personal Mac OS X housekeeper. (Demo)
iPod MP3 Songs Recovery
KidZui - The Internet for Kids
Conquest of Phobos 0.3.b - Destroy new and unusual robots bent on your demise. (Shareware)
PyMetaGetter 1.0.1a0 - Convert your movie metadata into corresponding PyTivo format. (Free)
Alice Greenfingers 2
iPod to Computer Sender
Autumn NetSpy
SyncTERM 0.9.2 - ANSI-BBS terminal. (Free)
updated 0 min ago
and   {key13}
News copyright owned by their original publishers | Copyright © 2004 - 2008 Zicos / 440Network