New Software for KindSoftware

Sort by:
Upload Date
Downloads
Rating
Name
Price

ESC/Java2 Frontend 2.0.5

ESC/Java2 Frontend project parses Java 1.4 source code and Java 1.5 bytecode into an Abstract Syntax Tree that can be used for Extended Static Checking.The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find...

3 Jun 15 in Educational & Science Software, Math Software

Linux

ESC/Java2 2.0 Beta 5

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. ESC/Java2 reasons about Java programs that have (optional) annotations written in JML.What is new in this release:There are no...

3 Jun 15 in Developer Tools, Quality Assurance and Testing Software