公开(公告)号：US07676791B2

公开(公告)日：2010-03-09

申请号：US10887739

申请日：2004-07-09

申请人： John L. Hamby ,  Niklas Gustafsson ,  Jason P. Allen

发明人： John L. Hamby ,  Niklas Gustafsson ,  Jason P. Allen

IPC分类号： G06F9/44 ,  G06F9/46

CPC分类号： G06F9/54 ,  G06F8/31 ,  G06F9/52

摘要： The present invention adds support for concurrency to a mainstream object-oriented language. Language extensions are provided that can enable programs to be developed that can either be run in one address space, distributed across several process on a single computer, or distributed across a local-area or wide-area network, without recoding the program. Central to this aspect is the notion of a service, which can execute its own algorithmic (logical) thread. Services do not share memory or synchronize using explicit synchronization primitives. Rather, both data sharing and synchronization is accomplished via message-passing, e.g., a set of explicitly declared messages are sent between services. Messages can contain data that is shared, and the pattern of message exchange provide the necessary synchronization.

摘要翻译： 本发明增加了对主流面向对象语言的并发性的支持。 提供了语言扩展，可以使开发程序能够在一个地址空间中运行，分布在单个计算机上的多个进程中，或分布在局域网或广域网上，而无需重新编程程序。 这个方面的核心是服务的概念，它可以执行自己的算法（逻辑）线程。 服务不共享内存或使用显式同步原语进行同步。 相反，数据共享和同步通过消息传递来实现，例如，在服务之间发送一组明确声明的消息。 消息可以包含共享的数据，并且消息交换的模式提供必要的同步。

公开(公告)号：US07934207B2

公开(公告)日：2011-04-26

申请号：US11613046

申请日：2006-12-19

申请人： Niklas Gustafsson ,  John L. Hamby ,  Patrick J. Helland

发明人： Niklas Gustafsson ,  John L. Hamby ,  Patrick J. Helland

IPC分类号： G06F9/45 ,  G06F9/44 ,  G06F17/30

CPC分类号： G06F17/30569

摘要： Systems and methods that integrate data type conversion(s) into a programming language, and describe external formats within a syntax thereof. A mapping component defines a declarative mapping from an external data format to one or more of its internal data types (e.g., expressing external data types in terms of source languages.) Moreover, a rule establishing component can define value-based rules, such as invariants to the external data format, wherein the schema declaration further defines data fields that make up the schema. Accordingly, by expressing rules in form of predicate logic (instead of imperative program logic) the subject innovation increase a likelihood that compilers can reason about the data.

摘要翻译： 将数据类型转换集成到编程语言中的系统和方法，并在其语法内描述外部格式。 映射组件定义了从外部数据格式到其一个或多个内部数据类型（例如，根据源语言表达外部数据类型）的声明性映射。此外，规则建立组件可以定义基于价值的规则，例如 外部数据格式的不变量，其中模式声明进一步定义构成模式的数据字段。 因此，通过以谓词逻辑（而不是命令式程序逻辑）的形式表达规则，主题创新增加了编译器可以对数据进行推理的可能性。

公开(公告)号：US20080147698A1

公开(公告)日：2008-06-19

申请号：US11613046

申请日：2006-12-19

申请人： Niklas Gustafsson ,  John L. Hamby ,  Patrick J. Helland

发明人： Niklas Gustafsson ,  John L. Hamby ,  Patrick J. Helland

IPC分类号： G06F17/30

CPC分类号： G06F17/30569

摘要： Systems and methods that integrate data type conversion(s) into a programming language, and describe external formats within a syntax thereof. A mapping component defines a declarative mapping from an external data format to one or more of its internal data types (e.g., expressing external data types in terms of source languages.) Moreover, a rule establishing component can define value-based rules, such as invariants to the external data format, wherein the schema declaration further defines data fields that make up the schema. Accordingly, by expressing rules in form of predicate logic (instead of imperative program logic) the subject innovation increase a likelihood that compilers can reason about the data.

摘要翻译： 将数据类型转换集成到编程语言中的系统和方法，并在其语法内描述外部格式。 映射组件定义了从外部数据格式到其一个或多个内部数据类型（例如，根据源语言表达外部数据类型）的声明性映射。此外，规则建立组件可以定义基于价值的规则，例如 外部数据格式的不变量，其中模式声明进一步定义构成模式的数据字段。 因此，通过以谓词逻辑（而不是命令式程序逻辑）的形式表达规则，主题创新增加了编译器可以对数据进行推理的可能性。

公开(公告)号：US08321833B2

公开(公告)日：2012-11-27

申请号：US12244949

申请日：2008-10-03

申请人： David E. Langworthy ,  Bradford H. Lovering ,  Donald F. Box ,  Giovanni M. Della-Libera ,  Jeffrey S. Pinkston ,  Jeffrey C. Schlimmer ,  John D. Doty ,  John L. Hamby

发明人： David E. Langworthy ,  Bradford H. Lovering ,  Donald F. Box ,  Giovanni M. Della-Libera ,  Jeffrey S. Pinkston ,  Jeffrey C. Schlimmer ,  John D. Doty ,  John L. Hamby

IPC分类号： G06F9/44

CPC分类号： G06F8/51 ,  G06F8/31

摘要： The subject disclosure relates to a syntax for a scripting language that allows data intensive applications to be written in a compact, human friendly, textual format. The scripting language can be a declarative programming language, such as the “D” programming language, which is well suited to the authoring of data intensive programs. A compact query syntax is provided for D that simplifies the expression of complex and data intensive programs. In another non-limiting aspect, conventional operator precedence is modified to accommodate the compact syntax and other unique features of a general purpose declarative programming language.

摘要翻译： 主题公开涉及一种脚本语言的语法，其允许以紧凑，人性化的文本格式写入数据密集型应用。 脚本语言可以是一种声明式编程语言，如D编程语言，非常适合于编写数据密集型程序。 为D提供了紧凑的查询语法，简化了复杂和数据密集型程序的表达。 在另一个非限制性方面，修改常规运算符优先级以适应通用声明式编程语言的紧凑语法和其他独特特征。

公开(公告)号：US20100088672A1

公开(公告)日：2010-04-08

申请号：US12244949

申请日：2008-10-03

申请人： David E. Langworthy ,  Bradford H. Lovering ,  Donald F. Box ,  Douglas A. Walter ,  Giovanni M. Della-Libera ,  Jeffrey S. Pinkston ,  John D. Doty ,  John L. Hamby

发明人： David E. Langworthy ,  Bradford H. Lovering ,  Donald F. Box ,  Douglas A. Walter ,  Giovanni M. Della-Libera ,  Jeffrey S. Pinkston ,  John D. Doty ,  John L. Hamby

IPC分类号： G06F9/44

CPC分类号： G06F8/51 ,  G06F8/31

摘要： The subject disclosure relates to a syntax for a scripting language that allows data intensive applications to be written in a compact, human friendly, textual format. The scripting language can be a declarative programming language, such as the “D” programming language, which is well suited to the authoring of data intensive programs. A compact query syntax is provided for D that simplifies the expression of complex and data intensive programs. In another non-limiting aspect, conventional operator precedence is modified to accommodate the compact syntax and other unique features of a general purpose declarative programming language.

摘要翻译： 主题公开涉及一种脚本语言的语法，其允许以紧凑，人性化的文本格式写入数据密集型应用。 脚本语言可以是一种声明式编程语言，例如“D”编程语言，非常适合于编写数据密集型程序。 为D提供了紧凑的查询语法，简化了复杂和数据密集型程序的表达。 在另一个非限制性方面，修改常规运算符优先级以适应通用声明式编程语言的紧凑语法和其他独特特征。

公开(公告)号：US20100088665A1

公开(公告)日：2010-04-08

申请号：US12244959

申请日：2008-10-03

申请人： David E. Langworthy ,  John L. Hamby ,  Bradford H. Lovering ,  Donald F. Box

发明人： David E. Langworthy ,  John L. Hamby ,  Bradford H. Lovering ,  Donald F. Box

IPC分类号： G06F9/44

CPC分类号： G06F8/43 ,  G06F8/75

摘要： Embodiments of tree-based directed graph programming structures for a declarative programming language are provided. In various embodiments, complex graph structured data, referred to as “DGraphs” herein in one non-limiting implementation, is authored using a compact, human friendly syntax without the use of explicit identifiers. In one non-limiting aspect, the syntax includes support for conformance relationships, also referred to as factored relationships. In another non-limiting aspect, the semistructured graph data is a tree-based representation and the syntax includes lexical resolution of references or lexical scoping, and/or non local initialization.

摘要翻译： 提供了一种用于声明式编程语言的基于树的有向图编程结构的实施例。 在各种实施例中，在一个非限制性实现中，本文中称为“DGraph”的复杂图形结构化数据是使用紧凑的，人性化的语法而不使用显式标识符来创作的。 在一个非限制性方面，语法包括对一致性关系的支持，也称为因子关系。 在另一个非限制性方面，半结构图数据是基于树的表示，并且语法包括引用或词法作用域的词法解析和/或非本地初始化。

公开(公告)号：US08473897B2

公开(公告)日：2013-06-25

申请号：US12244998

申请日：2008-10-03

申请人： Donald F. Box ,  Bradford H. Lovering ,  John D. Doty ,  Jeffrey C. Schlimmer ,  John L. Hamby ,  David E. Langworthy

发明人： Donald F. Box ,  Bradford H. Lovering ,  John D. Doty ,  Jeffrey C. Schlimmer ,  John L. Hamby ,  David E. Langworthy

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F8/437 ,  G06F8/31 ,  G06F8/42

摘要： A common intermediate representation for a data scripting language is provided for efficient representation and direct specification of programming constructs in memory. The common intermediate representation of data scripts allows data intensive applications to be created and analyzed in a machine accessible format, and the elements of the common intermediate representation can be stored independent of underlying storage specifics. Stored elements of the common intermediate representation of code are thus available for fast loading in memory when desired by other applications and programs by mapping the stored elements to the in memory intermediate representation.

摘要翻译： 提供了一种用于数据脚本语言的常用中间表示形式，用于有效地表示和直接指定存储器中的编程结构。 数据脚本的公共中间表示允许以机器可访问格式创建和分析数据密集型应用程序，并且可以独立于底层存储细节存储公共中间表示的元素。 因此，当通过将存储的元素映射到存储器中间表示中时，通过其它应用和程序的需要，代码的公共中间表示的存储元件可用于在存储器中快速加载。

公开(公告)号：US08296744B2

公开(公告)日：2012-10-23

申请号：US12244959

申请日：2008-10-03

申请人： David E. Langworthy ,  John L. Hamby ,  Bradford H. Lovering ,  Donald F. Box

发明人： David E. Langworthy ,  John L. Hamby ,  Bradford H. Lovering ,  Donald F. Box

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F8/43 ,  G06F8/75

摘要： Embodiments of tree-based directed graph programming structures for a declarative programming language are provided. In various embodiments, complex graph structured data, referred to as “DGraphs” herein in one non-limiting implementation, is authored using a compact, human friendly syntax without the use of explicit identifiers. In one non-limiting aspect, the syntax includes support for conformance relationships, also referred to as factored relationships. In another non-limiting aspect, the semistructured graph data is a tree-based representation and the syntax includes lexical resolution of references or lexical scoping, and/or non local initialization.

摘要翻译： 提供了一种用于声明式编程语言的基于树的有向图编程结构的实施例。 在各种实施例中，在一个非限制性实现中在本文中称为DGraph的复合图形结构化数据是使用紧凑的，人性化的语法而不使用显式标识符来创作的。 在一个非限制性方面，语法包括对一致性关系的支持，也称为因子关系。 在另一个非限制性方面，半结构图数据是基于树的表示，并且语法包括引用或词法作用域的词法解析和/或非本地初始化。

公开(公告)号：US20100088666A1

公开(公告)日：2010-04-08

申请号：US12244998

申请日：2008-10-03

申请人： Donald F. Box ,  Bradford H. Lovering ,  John D. Doty ,  Jeffrey C. Schlimmer ,  John L. Hamby ,  David E. Langworthy

发明人： Donald F. Box ,  Bradford H. Lovering ,  John D. Doty ,  Jeffrey C. Schlimmer ,  John L. Hamby ,  David E. Langworthy

IPC分类号： G06F9/44

CPC分类号： G06F8/437 ,  G06F8/31 ,  G06F8/42

摘要： A common intermediate representation for a data scripting language is provided for efficient representation and direct specification of programming constructs in memory. The common intermediate representation of data scripts allows data intensive applications to be created and analyzed in a machine accessible format, and the elements of the common intermediate representation can be stored independent of underlying storage specifics. Stored elements of the common intermediate representation of code are thus available for fast loading in memory when desired by other applications and programs by mapping the stored elements to the in memory intermediate representation.

摘要翻译： 提供了一种用于数据脚本语言的常用中间表示形式，用于有效地表示和直接指定存储器中的编程结构。 数据脚本的公共中间表示允许以机器可访问格式创建和分析数据密集型应用程序，并且可以独立于底层存储细节存储公共中间表示的元素。 因此，当通过将存储的元素映射到存储器中间表示中时，通过其它应用和程序的需要，代码的公共中间表示的存储元件可用于在存储器中快速加载。