库一致性检查器

摘要

本发明公开了库一致性检查器。库管理系统可比较编程库之间的合约，以标识库之间的并集、交集及差集。管理系统可带有合约分析器，该合约分析器可从现有的库中移除合约定义以形成库合约。库合约可作为编程环境内的第一类项来管理，并且可被用作比较库的现有版本与新版本的参考。库管理系统可使用两个或多个相交的库来创建引用库，以供程序员编写应用程序以及其他用途。

主权项

一种在计算机处理器上执行的方法，所述方法包括：接收第一组例程(402)，所述第一组例程中的所述例程中的每一个包括合约以及实现；接收第二组例程(404)，所述第二组例程中的所述例程中的每一个包括合约；将所述第一组例程与所述第二组例程作比较(410)，以便对所述例程执行至少一个集合运算，所述集合运算通过比较所述合约来执行。