利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

67 条记录 (耗时 0.04 秒)

    PROGRAMMING LANGUAGE WITH EXTENSIBLE SYNTAX
    1.
    发明申请
    PROGRAMMING LANGUAGE WITH EXTENSIBLE SYNTAX 审中-公开
    具有可扩展语言的编程语言

    公开(公告)号：US20100088686A1

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

    申请号：US12325753

    申请日：2008-12-01

    申请人： David E. Langworthy ,  Bradford H. Lovering ,  Donald F. Box ,  Joshua Williams ,  Giovanni M. Della-Libera

    发明人： David E. Langworthy ,  Bradford H. Lovering ,  Donald F. Box ,  Joshua Williams ,  Giovanni M. Della-Libera

    IPC分类号： G06F9/45

    CPC分类号： G06F8/41

    摘要： The subject disclosure relates to an extensible syntax for a scripting language that allows data intensive applications to be written in a compact, human friendly, textual format, and also according to self-defined syntax within the data intensive applications so that a single compilation unit of a program can support multiple syntaxes. An extensible syntax is provided for M that allows alternate syntaxes to be defined in line and then used in the program so as to accommodate user-defined syntaxes and other pre-existing domain specific languages. In one embodiment, the alternate syntaxes can be defined at pre-designated functional points in the program.

    摘要翻译： 主题公开涉及用于脚本语言的可扩展语法，其允许以紧凑，人性化的文本格式写入数据密集型应用程序，并且还根据数据密集型应用程序中的自定义语法编写单个编译单元 程序可以支持多种语法。 为M提供了一种可扩展的语法，允许替代语法在行中定义，然后在程序中使用，以适应用户定义的语法和其他预先存在的特定于域的语言。 在一个实施例中，可以在程序中的预先指定的功能点处定义替代语法。

    Type system for declarative data scripting language
    7.
    发明授权
    Type system for declarative data scripting language 有权
    键入用于声明性数据脚本语言的系统

    公开(公告)号：US08949784B2

    公开(公告)日：2015-02-03

    申请号：US12244981

    申请日：2008-10-03

    申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

    发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

    IPC分类号： G06F9/44

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

    摘要： An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.

    摘要翻译： 提供了一种高效，逻辑和表达型的系统，用于灵活定义声明式编程语言的类型，从而可以生成有效和结构紧凑的数据密集型应用程序。 类型系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 对于类型系统，类型可以表示为其他类型的交集和/或联合。 因此，可以在真实世界数据存储中可以找到的全部数据类型有效地表示类型。

    SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLING A PROVER
    8.
    发明申请
    SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLING A PROVER 有权
    通过电子邮件提交声明数据描述语言的语义分类

    公开(公告)号：US20100192129A1

    公开(公告)日：2010-07-29

    申请号：US12244988

    申请日：2008-10-03

    申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

    发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

    IPC分类号： G06F9/44

    CPC分类号： G06F8/437

    摘要： An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. Various embodiments verify the validity of subtyping relationships by translating to first-order logic, and invoking a general-purpose theorem prover with the first-order logic as input. In contrast to treating formulas as types, types are translated into formulas of standard first-order logic. Moreover, to represent data structures of the programming language as first-order logic, universal and existential quantifiers of first-order logic, and function symbols in terms, are exploited. Data intensive applications can be generated, verified, and deployed with greater speed and scale.

    摘要翻译： 一种高效，逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 各种实施例通过转换为一阶逻辑来验证子类型关系的有效性，并且以一阶逻辑作为输入来调用通用定理证明器。 与将处理公式作为类型相反，类型被转换为标准一阶逻辑的公式。 此外，为了将编程语言的数据结构表示为一阶逻辑，利用一阶逻辑的通用和存在量词，以及术语中的函数符号。 可以以更快的速度和规模生成，验证和部署数据密集型应用程序。

    TREE-BASED DIRECTED GRAPH PROGRAMMING STRUCTURES FOR A DECLARATIVE PROGRAMMING LANGUAGE
    9.
    发明申请
    TREE-BASED DIRECTED GRAPH PROGRAMMING STRUCTURES FOR A DECLARATIVE PROGRAMMING LANGUAGE 有权
    基于树的指导性图形编程结构用于声明编程语言

    公开(公告)号：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”的复杂图形结构化数据是使用紧凑的，人性化的语法而不使用显式标识符来创作的。 在一个非限制性方面，语法包括对一致性关系的支持，也称为因子关系。 在另一个非限制性方面，半结构图数据是基于树的表示，并且语法包括引用或词法作用域的词法解析和/或非本地初始化。

    Common intermediate representation for data scripting language
    10.
    发明授权
    Common intermediate representation for data scripting language 有权
    数据脚本语言的通用中间表示法

    公开(公告)号：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.

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