Deep embedding of program languages
    81.
    发明授权
    Deep embedding of program languages 有权
    深入嵌入程序语言

    公开(公告)号:US08091070B2

    公开(公告)日:2012-01-03

    申请号:US11621018

    申请日:2007-01-08

    IPC分类号: G06F9/44

    CPC分类号: G06F8/31

    摘要: A programming language is implemented in terms of another programming language via deep and/or modified shallow embedding. Embedded language control structures and/or type system are decomposed to primitive features. These features are semantically mapped to host language features. Other embedded language features are explicitly constructed in the host language. A map can also be constructed as a function of implementation to facilitate mapping embedded language applications to host language applications.

    摘要翻译: 通过深度和/或修改的浅嵌入,通过另一种编程语言来实现编程语言。 嵌入式语言控制结构和/或类型系统被分解为原始特征。 这些功能在语义上映射到主机语言功能。 其他嵌入式语言功能是以主机语言显式构建的。 还可以构建地图作为实现的功能,以便将嵌入式语言应用程序映射到主机语言应用程序。

    DISTRIBUTED WORKFLOW EXECUTION
    83.
    发明申请
    DISTRIBUTED WORKFLOW EXECUTION 有权
    分布式工作流程执行

    公开(公告)号:US20110276977A1

    公开(公告)日:2011-11-10

    申请号:US12775688

    申请日:2010-05-07

    IPC分类号: G06F9/46

    摘要: A workflow is designated for execution across a plurality of autonomous computational entities automatically. Among other things, the cost of computation is balanced with the cost of communication among computational entities to reduce total execution time of a workflow. In other words, a balance is struck between grouping tasks for execution on a single computational entity and segmenting tasks for execution across multiple computational entities.

    摘要翻译: 指定用于多个自主计算实体自动执行的工作流。 除此之外,计算成本与计算实体之间的通信成本平衡,以减少工作流的总执行时间。 换句话说,在用于在单个计算实体上执行的分组任务和在多个计算实体之间分割任务以执行任务之间达成了平衡。

    Co-routines native to a virtual execution environment
    84.
    发明授权
    Co-routines native to a virtual execution environment 有权
    虚拟执行环境中的原始协作例程

    公开(公告)号:US08051426B2

    公开(公告)日:2011-11-01

    申请号:US11619973

    申请日:2007-01-04

    IPC分类号: G06F9/46 G06F9/455

    CPC分类号: G06F9/45504 G06F9/4484

    摘要: A virtual machine is extended to include native support for co-routines. In this manner, high-level programmers are afforded access to such functionality. More particularly, supplied is a mechanism inside the virtual machine to enable method/function state to be maintained and subsequently restored. Consequently, a method/function can be called multiple times and resume where it last left off. This provides direct support for tier splitting patterns, iterators and comprehensions, among other things.

    摘要翻译: 虚拟机被扩展为包括对于共同例程的本地支持。 以这种方式,高级程序员可以访问这样的功能。 更具体地,提供的是虚拟机内部的机制,以使得能够维护并随后恢复方法/功能状态。 因此,可以多次调用方法/函数,并恢复最后一次停止的位置。 这提供了对分层模式,迭代器和理解等的直接支持。

    RESUMABLE METHODS
    85.
    发明申请
    RESUMABLE METHODS 有权
    可恢复的方法

    公开(公告)号:US20110265070A1

    公开(公告)日:2011-10-27

    申请号:US12767811

    申请日:2010-04-27

    IPC分类号: G06F9/45

    CPC分类号: G06F8/314

    摘要: APIs are provided, that are external to a programming language but that provide functionality that can be plugged into a language compiler. The provided APIs tailor functionality associated with asynchronous programming, iterators or writing symmetric co-routines using a generalized pattern-based approach. Several types of resumable methods are provided in the APIs which can be applied to method bodies written in traditional program code. Syntactically distinguishable control points in method bodies written in traditional program code invoke transformation of the code by the compiler using the external APIs. The transformed code enables the pausing and resumption of the code sandwiched between control points in the transformed code. The source code contained within a method having control points in it is transformed so that code within the method can be executed in discrete parts, each part starting and ending at a control point in the transformed code.

    摘要翻译: 提供API,它们是编程语言外部的,但是提供可以插入到语言编译器中的功能。 提供的API定制与异步编程相关的功能,迭代器或使用广义的基于模式的方法来编写对称协同程序。 API中提供了几种类型的可恢复方法,可以将其应用于以传统程序代码编写的方法体。 以传统程序代码编写的方法体中的语法上可区分的控制点通过外部API调用编译器对代码的转换。 转换的代码使得能够暂停和恢复被转换代码中的控制点之间的代码。 包含在其中具有控制点的方法中的源代码被变换,使得该方法中的代码可以以离散部分执行,每个部分开始并在变换代码的控制点结束。

    Type extensions
    86.
    发明授权
    Type extensions 失效
    输入扩展名

    公开(公告)号:US08032859B2

    公开(公告)日:2011-10-04

    申请号:US11214424

    申请日:2005-08-29

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F9/4492

    摘要: A system for extending data types in software comprises an extension unit that modifies an arbitrary preexisting base data type, the preexisting base data type having at least one member. The system also includes a supplemental member that is included with the extension unit and that provides additional functionality to the preexisting base type. Methods for using the system are also provided.

    摘要翻译: 用于以软件扩展数据类型的系统包括修改任意的预先存在的基本数据类型的扩展单元,预先存在的基本数据类型具有至少一个成员。 该系统还包括扩展单元附带的补充成员,并为预先存在的基本类型提供附加功能。 还提供了使用该系统的方法。

    PROCESSING OBSERVABLE EVENTS USING JOIN PATTERNS
    88.
    发明申请
    PROCESSING OBSERVABLE EVENTS USING JOIN PATTERNS 审中-公开
    使用加密模式处理可观察的事件

    公开(公告)号:US20110191784A1

    公开(公告)日:2011-08-04

    申请号:US12698159

    申请日:2010-02-02

    IPC分类号: G06F9/46

    CPC分类号: G06F9/46

    摘要: Methods, systems, and computer-readable media of processing observable events using join patterns are disclosed. A particular method includes receiving a first notification indicating an occurrence of a first observable event and a second notification indicating an occurrence of a second observable event. The method also includes determining that the first and second notifications satisfy a join pattern. The method may further include taking one or more actions in response to determining that the join pattern has been satisfied.

    摘要翻译: 公开了使用连接图案处理可观察事件的方法,系统和计算机可读介质。 特定方法包括接收指示第一可观察事件的发生的第一通知和指示发生第二可观察事件的第二通知。 该方法还包括确定第一和第二通知满足连接模式。 该方法还可以包括响应于确定连接模式已被满足而采取一个或多个动作。

    Efficient data access via runtime type inference
    89.
    发明授权
    Efficient data access via runtime type inference 有权
    通过运行时类型推断有效的数据访问

    公开(公告)号:US07970730B2

    公开(公告)日:2011-06-28

    申请号:US11044100

    申请日:2005-01-27

    IPC分类号: G06F7/00 G06F17/00

    CPC分类号: G06F8/30

    摘要: A system and methodology that provide schema inferencing at runtime. An inference component receives as an input an input data stream, and processes the input data stream at runtime to develop a schema based on actual values thereof. The inferred schema is then used to create an inferred output data that is a specialized representation of the input stream data, which can then be accessed efficiently and conveniently.

    摘要翻译: 在运行时提供模式参考的系统和方法。 推理组件作为输入接收输入数据流,并在运行时处理输入数据流,以根据其实际值开发模式。 然后,推断的模式用于创建一个推断的输出数据,该输出数据是输入流数据的专用表示,然后可以有效和方便地访问。

    EMBEDDING EXPRESSIONS IN XML LITERALS
    90.
    发明申请
    EMBEDDING EXPRESSIONS IN XML LITERALS 有权
    嵌入式XML表达式表达式

    公开(公告)号:US20110072413A1

    公开(公告)日:2011-03-24

    申请号:US12955680

    申请日:2010-11-29

    IPC分类号: G06F9/44

    摘要: An architecture that that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture facilitates a convenient short cut by replacing the complex explicit construction required by conventional systems to create an instance of a DOM with a concise XML literal for which conventional compilers can translate into the appropriate code. The architecture allows these XML literals to be embedded with expressions, statement blocks or namespaces to further enrich the power and versatility. In accordance therewith, context information describing the position and data types that an XML DOM can accept can be provided to the programmer via, for example, an integrated development environment. Additionally, the architecture supports escaping XML identifiers, a reification mechanism, and a conversion mechanism to convert between collections and singletons.

    摘要翻译: 一种将常规计算机编程语言扩展到可扩展标记语言(XML)文档对象模型(DOM)的实例的体系结构,以便为底层编程语言中的XML文字提供支持。 该架构通过替代传统系统所需的复杂显式构造来简化方便的快捷操作,以创建具有简洁XML文字的DOM实例,常规编译器可将其转换为适当的代码。 该架构允许这些XML文字嵌入表达式,语句块或命名空间,以进一步丰富功能和多功能性。 根据此,可以通过例如集成开发环境向程序员提供描述XML DOM可以接受的位置和数据类型的上下文信息。 另外,该架构支持转义XML标识符,一个验证机制,以及一个在集合和单例之间进行转换的转换机制。