专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20090164973A1 CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION 有权
标题翻译：编码错误减少的合同编程
公开(公告)号：US20090164973A1
公开(公告)日：2009-06-25
申请号：US11963346
申请日：2007-12-21
申请人： Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Wolfram Schulte
发明人： Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Wolfram Schulte
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/41 , G06F8/51
摘要： In one embodiment, a computer system provides an application programming interface (API) for augmenting an application API. A computer system receives software code written in a second programming language indicating a user's intention to augment an application API with contracts from a contract API written in a first programming language. The software code includes a reference to the contract API. The contracts include assertions indicating appropriate use of the application API. The computer system accesses portions of the contract API according to the reference in the software code and compiles the received software code and the referenced portions of the contract API into an intermediate language (IL) version of the software code. The IL version is in an intermediate language common to both the first programming language and the second programming language. The IL version includes the assertions indicating appropriate use of the application API.
摘要翻译：在一个实施例中，计算机系统提供用于增加应用API的应用编程接口（API）。计算机系统接收以第二编程语言编写的软件代码，其指示用户使用以第一编程语言编写的合同API的契约来增加应用API的意图。软件代码包括对合同API的引用。合同包括指示适当使用应用程序API的断言。计算机系统根据软件代码中的参考来访问合同API的部分，并将接收到的软件代码和合同API的参考部分编译成软件代码的中间语言（IL）版本。 IL版本是与第一种编程语言和第二种编程语言相同的中间语言。 IL版本包括指示适当使用应用程序API的断言。

2. 发明授权

US08250524B2 Contract programming for code error reduction 有权
标题翻译：用于代码错误减少的合同编程
公开(公告)号：US08250524B2
公开(公告)日：2012-08-21
申请号：US11963346
申请日：2007-12-21
申请人： Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Wolfram Schulte
发明人： Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Wolfram Schulte
IPC分类号： G06F9/44
CPC分类号： G06F8/41 , G06F8/51
摘要： In one embodiment, a computer system provides an application programming interface (API) for augmenting an application API. A computer system receives software code written in a second programming language indicating a user's intention to augment an application API with contracts from a contract API written in a first programming language. The software code includes a reference to the contract API. The contracts include assertions indicating appropriate use of the application API. The computer system accesses portions of the contract API according to the reference in the software code and compiles the received software code and the referenced portions of the contract API into an intermediate language (IL) version of the software code. The IL version is in an intermediate language common to both the first programming language and the second programming language. The IL version includes the assertions indicating appropriate use of the application API.
摘要翻译：在一个实施例中，计算机系统提供用于增加应用API的应用编程接口（API）。计算机系统接收以第二编程语言编写的软件代码，其指示用户使用以第一编程语言编写的合同API的契约来增加应用API的意图。软件代码包括对合同API的引用。合同包括指示适当使用应用程序API的断言。计算机系统根据软件代码中的参考访问合同API的部分，并将接收的软件代码和合同API的引用部分编译成软件代码的中间语言（IL）版本。 IL版本是与第一种编程语言和第二种编程语言相同的中间语言。 IL版本包括指示适当使用应用程序API的断言。

3. 发明授权

US08782607B2 Contract failure behavior with escalation policy 有权
标题翻译：合同失败行为与升级政策
公开(公告)号：US08782607B2
公开(公告)日：2014-07-15
申请号：US12389373
申请日：2009-02-20
申请人： Melitta L. G. Andersen , Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Katherine E. King , Michael M. Magruder , Andrew J. Pardoe , Kumar Gaurav Khanna
发明人： Melitta L. G. Andersen , Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Katherine E. King , Michael M. Magruder , Andrew J. Pardoe , Kumar Gaurav Khanna
IPC分类号： G06F9/44 , G06F11/36 , G06F11/32
CPC分类号： G06F11/3664 , G06F11/0706 , G06F11/0793 , G06F11/323 , G06F11/3636 , G06F11/3668
摘要： An error handling system is described herein that provides a facility for controlling the behavior of software when the software violates a contract condition. The system provides configurable runtime behavior that takes place when a contract fails. The error handling system provides an event that a hosting application or other software code can register to handle and that the system invokes upon detecting a contract failure. The application's response to the event determines how the system handles the failure. If the event is unhandled, the system triggers an escalation policy that allows an administrator or application to specify how the system handles contract failures. Thus, the error handling system provides increased control over the handling of contract failures within software code.
摘要翻译：这里描述了一种错误处理系统，其提供了当软件违反合同条件时控制软件的行为的设施。系统提供在合同失败时发生的可配置的运行时行为。错误处理系统提供托管应用程序或其他软件代码可以注册以处理的事件，并且系统在检测到合同失败时调用该事件。应用程序对事件的响应决定系统如何处理故障。如果事件未被处理，系统将触发升级策略，允许管理员或应用程序指定系统如何处理合同失败。因此，错误处理系统对软件代码中的合同失败的处理提供了更多的控制。

4. 发明申请

US20100218169A1 CONTRACT FAILURE BEHAVIOR WITH ESCALATION POLICY 有权
标题翻译：合同失败行为与自然资源政策
公开(公告)号：US20100218169A1
公开(公告)日：2010-08-26
申请号：US12389373
申请日：2009-02-20
申请人： Melitta L. G. Andersen , Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Katherine E. King , Michael M. Magruder , Andrew J. Pardoe , Kumar Gaurav Khanna
发明人： Melitta L. G. Andersen , Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Katherine E. King , Michael M. Magruder , Andrew J. Pardoe , Kumar Gaurav Khanna
IPC分类号： G06F9/44
CPC分类号： G06F11/3664 , G06F11/0706 , G06F11/0793 , G06F11/323 , G06F11/3636 , G06F11/3668
摘要： An error handling system is described herein that provides a facility for controlling the behavior of software when the software violates a contract condition. The system provides configurable runtime behavior that takes place when a contract fails. The error handling system provides an event that a hosting application or other software code can register to handle and that the system invokes upon detecting a contract failure. The application's response to the event determines how the system handles the failure. If the event is unhandled, the system triggers an escalation policy that allows an administrator or application to specify how the system handles contract failures. Thus, the error handling system provides increased control over the handling of contract failures within software code.
摘要翻译：本文描述了一种错误处理系统，其提供了当软件违反合同条件时控制软件的行为的设施。系统提供在合同失败时发生的可配置的运行时行为。错误处理系统提供托管应用程序或其他软件代码可以注册以处理的事件，并且系统在检测到合同失败时调用该事件。应用程序对事件的响应决定系统如何处理故障。如果事件未被处理，系统将触发升级策略，允许管理员或应用程序指定系统如何处理合同失败。因此，错误处理系统对软件代码中的合同失败的处理提供了更多的控制。

5. 发明申请

US20100083238A1 Binary manipulation of intermediate-language code 审中-公开
标题翻译：中间语言代码的二进制操作
公开(公告)号：US20100083238A1
公开(公告)日：2010-04-01
申请号：US12242691
申请日：2008-09-30
申请人： Michael Barnett , Michael C. Fanning , Brian M. Grunkemeyer , Barend H. Venter
发明人： Michael Barnett , Michael C. Fanning , Brian M. Grunkemeyer , Barend H. Venter
IPC分类号： G06F9/45
CPC分类号： G06F8/70
摘要： One or more embodiments, described herein, are directed towards a technology for performing transformations and/or modifications to managed byte code. In order to perform the transformations and/or modifications, a mutable programmable representation (MPR) is laid out. A programmer then performs an arbitrary adjustment using the MPR.
摘要翻译：本文描述的一个或多个实施例涉及用于对被管理的字节代码执行转换和/或修改的技术。为了执行转换和/或修改，布置了可变可编程表示（MPR）。然后程序员使用MPR执行任意调整。

6. 发明申请

US20100251212A1 Version Type Traversal 审中-公开
标题翻译：版本类型遍历
公开(公告)号：US20100251212A1
公开(公告)日：2010-09-30
申请号：US12413623
申请日：2009-03-30
申请人： Brian M. Grunkemeyer , Madhusudhan Talluri , Mauro M. Ottaviani , Mei-Chin Tsai , Brian K. Pepin
发明人： Brian M. Grunkemeyer , Madhusudhan Talluri , Mauro M. Ottaviani , Mei-Chin Tsai , Brian K. Pepin
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/71
摘要： A version traversal system for objects, such as types, may include a reference to another version of an object with the type definition. The reference may be used to identify an older or newer version of the object which may be in a different assembly and may have a different simple name. The version traversal system may be used to compile applications written for the first version but compiled with assemblies from the second version, as well as serializing and deserializing objects from one version to another. The version traversal system may enable two way communications between applications that use two versions of a set of assemblies. The reference may include a fully qualified name or other identifiers.
摘要翻译：对象（例如类型）的版本遍历系统可能包括对具有类型定义的对象的另一版本的引用。该参考可以用于标识可能在不同的组件中并且可以具有不同简单名称的对象的较旧或较新版本。版本遍历系统可用于编译针对第一版本编写的应用程序，但是使用第二版本的程序集进行编译，以及将对象从一个版本序列化和反序列化。版本遍历系统可以实现使用一组程序集的两个版本的应用程序之间的双向通信。该引用可能包括完全限定名称或其他标识符。

7. 发明授权

US07610322B2 Safe handle 有权
标题翻译：安全手柄
公开(公告)号：US07610322B2
公开(公告)日：2009-10-27
申请号：US10853420
申请日：2004-05-25
申请人： Brian M. Grunkemeyer , David Sebastien Mortenson , Rudi Martin , Sonja Keserovic , Mahesh Prakriya , Christopher W. Brumme
发明人： Brian M. Grunkemeyer , David Sebastien Mortenson , Rudi Martin , Sonja Keserovic , Mahesh Prakriya , Christopher W. Brumme
IPC分类号： G06F12/00 , G06F17/30 , G06F7/00 , G06F17/00 , G06F13/00 , G06F13/28
CPC分类号： G06F21/52 , Y10S707/99931 , Y10S707/99952 , Y10S707/99957
摘要： Enabling secure and efficient marshaling, utilization, and releasing of handles in either of an operating system or runtime environment includes wrapping a handle with a counter to tabulate a number of threads using currently using the handle. Thus, handle administration is implemented to circumvent potential security risks, avoid correctness problems, and foster more efficient handle releasing.
摘要翻译：在操作系统或运行时环境中实现安全有效的封送，利用和释放句柄包括使用当前使用句柄的带有计数器的句柄来制表数个线程。因此，执行处理管理以规避潜在的安全隐患，避免正确性问题，并促进更有效的处理释放。

9. 发明授权

US07571428B2 Reliability contracts 有权
标题翻译：可靠性合同
公开(公告)号：US07571428B2
公开(公告)日：2009-08-04
申请号：US10845679
申请日：2004-05-14
申请人： Rudi Martin , Mahesh Prakriya , Brian M. Grunkemeyer , Christopher W. Brumme , Sean E. Trowbridge , Weiwen Liu
发明人： Rudi Martin , Mahesh Prakriya , Brian M. Grunkemeyer , Christopher W. Brumme , Sean E. Trowbridge , Weiwen Liu
IPC分类号： G06F9/45
CPC分类号： G06F21/51 , G06F21/64
摘要： Reliability contracts declare an intent of executable code, and may be associated with at least a portion of the executable code. The intent of the executable code in the face of particular conditions may be declared for the use in any one of a programming, execution, or testing environment.
摘要翻译：可靠性合同声明可执行代码的意图，并且可以与可执行代码的至少一部分相关联。面向特定条件的可执行代码的意图可以被声明用于编程，执行或测试环境中的任何一个。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式