Contracts and futures in an asynchronous programming language
    13.
    发明授权
    Contracts and futures in an asynchronous programming language 失效
    异步编程语言中的契约和期货

    公开(公告)号:US07694276B2

    公开(公告)日:2010-04-06

    申请号:US10659221

    申请日:2003-09-10

    CPC classification number: G06F9/54 G06F8/31

    Abstract: An asynchronous programming language that facilitates concurrent programming by utilizing futures, asynchronous calls, and joins on futures. For each of a client interface and a service interface of an asynchronous interface, respective models are automatically extracted. A behavioral contract is defined on the asynchronous interface. The client and service models are then passed to modular checking algorithm that checks to ensure that both the client and the service conform to the behavioral contract. The checking algorithm combines region-based type systems with model checking techniques to handle pointer aliasing in a sound manner.

    Abstract translation: 一种异步编程语言,通过利用期货,异步调用和期货合并来促进并发编程。 对于异步接口的客户端接口和服务接口,自动提取各自的模型。 在异步接口上定义了行为契约。 然后将客户端和服务模型传递给模块化检查算法,以检查客户端和服务是否符合行为合同。 检查算法将基于区域的类型系统与模型检查技术相结合,以良好的方式处理指针别名。

Patent Agency Ranking