ESC/Java2

ESC/Java2 is an Extended Static Checker for Java.
Download

ESC/Java2 Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Other/Proprietary Li...
  • Price:
  • FREE
  • Publisher Name:
  • KindSoftware
  • Publisher web site:
  • http://kind.ucd.ie/products/opensource/JavaFE/

ESC/Java2 Tags


ESC/Java2 Description

ESC/Java2 is an Extended Static Checker for Java. 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's New in This Release: · There are no major functional changes, but some bugfixes and cleanup of existing features. · This is intended to be the final release and the first stable release.


ESC/Java2 Related Software

About SoftwareSea