This project comprises a collection of libraries and applications for the field of program analysis. The starting point is a type analysis for Java programs using Agesen's Cartesian Product Algorithm.
VERSION HISTORY
- Version 0.3 posted on 2002-10-28
Several fixes and updates - Version 0.3 posted on 2002-10-28
Program Details
- Category: Education > Other
- Publisher: programanalysis.sf.net
- License: Free
- Price: N/A
- Version: 0.3
- Platform: windows