该项目包括用于程序分析领域的库和应用的集合。起点是使用 Agesen 的笛卡尔产品算法对 Java 程序进行的类型分析。
版本历史记录
- 版本 0.3 发布于 2002-10-28
若干修复和更新 - 版本 0.3 发布于 2002-10-28
软件信息
- 软件分类： 教育 > 其他
- 发布者： programanalysis.sf.net
- 许可： 免费
- 价格： N/A
- 版本： 0.3
- 适用平台： windows
该项目包括用于程序分析领域的库和应用的集合。起点是使用 Agesen 的笛卡尔产品算法对 Java 程序进行的类型分析。