-
公开(公告)号:CN102270128B
公开(公告)日:2016-12-07
申请号:CN201110159919.1
申请日:2011-06-03
Applicant: 微软技术许可有限责任公司
Abstract: 本发明公开了库一致性检查器。库管理系统可比较编程库之间的合约,以标识库之间的并集、交集及差集。管理系统可带有合约分析器,该合约分析器可从现有的库中移除合约定义以形成库合约。库合约可作为编程环境内的第一类项来管理,并且可被用作比较库的现有版本与新版本的参考。库管理系统可使用两个或多个相交的库来创建引用库,以供程序员编写应用程序以及其他用途。