文件名称：checker-framework-inference:Java的可插入类型的推断
文件大小：886KB
文件格式：ZIP
更新时间：2024-06-02 22:38:24
Java
该项目不再维护。 但是，正在维护一个fork： : Checker框架推断 该项目是基于的通用类型推断框架。 给定一个没有类型注释的程序，Checker Framework Inference会生成一个带有类型注释的程序。 相比之下，给定具有类型注释的程序，Checker Framework会确定验证程序的正确性或发现其中的错误。 开发者须知 主机的持续集成状态： 如果您想为自己的类型系统扩展框架或添加其他约束求解器，请给我们发送邮件。 checker-framework-inference Google云端硬盘文件夹包含供开发人员使用的其他文档： 该信息将被移至存储库中的此处。 配置Eclipse以编辑Checker Framework推论 此处的说明假定您已将此项目克隆到一个名为checker-framework-inference的文件夹中。 按照中的说明下载，构建