发明名称 用于编码错误降低之契约程式
摘要 在一具体实施例中,一电脑系统提供加强一应用API之应用程式化介面(API,“Application programming interface”)。一电脑系统接收指示使用者想要利用来自以第一程式化语言撰写的一契约API的契约来加强一应用API之以第二程式化语言撰写的软体码。该软体码包括对该契约API的参照。该等契约包括指示该应用API之适当使用的判定(assertion)。该电脑系统根据在该软体码中的该等参照来存取该契约API的部份,且编译接收到的软体码及所参照的契约API之部份成为该软体码之中间语言(IL,“Intermediate language”)。IL版本为该第一程式化语言及该第二程式化语言两者共用的中间语言。该IL版本包括指示该应用API之适当使用的该等判定。
申请公布号 TW200937188 申请公布日期 2009.09.01
申请号 TW097148827 申请日期 2008.12.15
申请人 微软公司 发明人 巴内特麦可;法恩德瑞奇马努耶尔A;葛伦科梅耶尔布莱恩M;史库帖沃丰
分类号 G06F11/36(2006.01) 主分类号 G06F11/36(2006.01)
代理机构 代理人 蔡坤财;李世章
主权项
地址 美国