知搜-全球专利检索

  1. 登录
  2. 注册

搜索结果

27 条记录 (耗时 0.021 秒)

    Type system for declarative data scripting language
    1.
    发明授权
    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.

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

    Continuation-based runtime callback invocation
    3.
    发明授权
    Continuation-based runtime callback invocation 有权
    基于连续的运行时回调调用

    公开(公告)号：US08276165B2

    公开(公告)日：2012-09-25

    申请号：US12129594

    申请日：2008-05-29

    申请人： Donald F. Box ,  Geoffrey M. Kizer ,  Kenneth David Wolf ,  Jeffrey C. Schlimmer ,  Edmund Samuel Victor Pinto

    发明人： Donald F. Box ,  Geoffrey M. Kizer ,  Kenneth David Wolf ,  Jeffrey C. Schlimmer ,  Edmund Samuel Victor Pinto

    IPC分类号： G06F9/44 ,  G06Q10/00

    CPC分类号： G06F9/542

    摘要： Activity callbacks in a continuation-based runtime. At framework-definition time, a framework activity is authored. The framework activity may have an environmental logic portion the processes input or output parameters whose values will be supplied to and/or received from an activity callback. The framework activity also includes a callback invocation portion that, during execution time, will actually provide parameter value(s) to and/or receive parameter value(s) from the activity callback. The framework activity serves as a framework that operates with any activity callback that has one or more characteristics. Such activity callbacks may not even be defined at framework-definition time. Instead, the framework activity may be used multiple times in the same applications, or in different applications to thereby provide core framework functionality, while allowing application developers to plug in activity callbacks that meet the custom needs of the application.

    摘要翻译： 基于连续运行时的活动回调。 在框架定义的时候，编写框架活动。 框架活动可以具有环境逻辑部分，其值将被提供给活动回调和/或从活动回调中接收的过程输入或输出参数。 框架活动还包括回调调用部分，其在执行时间期间实际上将向活动回调提供参数值和/或接收参数值。 框架活动可用作具有一个或多个特征的任何活动回调的框架。 这样的活动回调在框架定义时间可能不会被定义。 相反，框架活动可以在相同的应用程序或不同应用程序中多次使用，从而提供核心框架功能，同时允许应用程序开发人员插入满足应用程序自定义需求的活动回调。

    Streaming object instantiation using bookmarks
    4.
    发明授权
    Streaming object instantiation using bookmarks 有权
    使用书签流对象实例化

    公开(公告)号：US07979566B2

    公开(公告)日：2011-07-12

    申请号：US12020427

    申请日：2008-01-25

    申请人： John David Doty ,  Jeffrey C. Schlimmer ,  Christopher Lee Anderson ,  Martin James Gudgin

    发明人： John David Doty ,  Jeffrey C. Schlimmer ,  Christopher Lee Anderson ,  Martin James Gudgin

    IPC分类号： G06F15/16

    CPC分类号： G06F9/544 ,  G06F9/4493

    摘要： Bookmarking of tokens in a set of streaming tokens, each representing an instantiation instruction or instantiation context. A navigator receives a set of streaming tokens, and provides the tokens to the instantiation manager. However, if the navigator receives an instruction to bookmark a particular token, the navigator buffers the set of streaming instructions at least beginning at the bookmarked token (and possible even earlier if there were prior bookmarks). The navigator replays the set of streaming tokens beginning at a bookmark in response to an instruction from an instantiation manager. The instantiation manager receives the set of streaming tokens. If the instantiation manager is not presently capable of handling the instruction of a particular token, the instantiation manager instructs the navigator to bookmark the particular token. When the instantiation manager later receives a token that permits the instantiation manager to return to the bookmark, the instantiation manager returns to the bookmark to replay the instantiation instructions beginning at the bookmark.

    摘要翻译： 在一组流令牌中标记令牌，每个表示一个实例化指令或实例化上下文。 导航器接收一组流令牌，并向代理管理器提供令牌。 然而，如果导航器接收到用于对特定令牌进行书签的指令，导航器至少从加书签的令牌开始缓冲流传输指令集（并且如果存在先前的书签，则可能甚至更早）。 导航器响应于来自实例化管理器的指令，重放从书签开始的一组流令牌。 实例化管理器接收一组流令牌。 如果实例化管理器当前不能处理特定令牌的指令，则实例化管理器指示导航器将特定令牌加入书签。 当实例化管理器稍后接收到允许实例化管理器返回书签的令牌时，实例管理器返回到书签以从书签开始重放实例化指令。

    SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLING A PROVER
    7.
    发明申请
    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.

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

    Invalid policy detection
    8.
    发明授权
    Invalid policy detection 有权
    策略检测无效

    公开(公告)号：US07664828B2

    公开(公告)日：2010-02-16

    申请号：US10783776

    申请日：2004-02-20

    申请人： Jeffrey C. Schlimmer ,  David Levin ,  Alfred Lee, IV ,  Erik B. Christensen ,  Bradford H. Lovering

    发明人： Jeffrey C. Schlimmer ,  David Levin ,  Alfred Lee, IV ,  Erik B. Christensen ,  Bradford H. Lovering

    IPC分类号： G06F15/173 ,  G06F13/00

    CPC分类号： H04L67/2852

    摘要： Implementations are described and claimed herein to detect an invalid policy that may reside in a cache at a client. An expired policy is removed from cache and a current policy is requested. Otherwise the cached policy may be used. The client indicates which policy it is using by generating a policy digest, including, in compressed form, one or more assertions. If the host determines the policy digest is invalid, the host issues an invalid digest fault. If the policy digest is valid, but the assertions included in the policy digest are invalid, the host issues an invalid policy fault. In either case, the client is notified that the cached policy is no longer valid and that a current policy should be requested.

    摘要翻译： 这里描述和要求的实现来检测可能驻留在客户端的高速缓存中的无效策略。 从缓存中删除过期的策略，并请求当前策略。 否则可能会使用缓存的策略。 客户端通过生成策略摘要来指示其使用哪个策略，包括压缩形式的一个或多个断言。 如果主机确定策略摘要无效，则主机发出无效的摘要故障。 如果策略摘要有效，但策略摘要中包含的断言无效，则主机发出无效的策略故障。 在任一情况下，通知客户端缓存的策略不再有效，并且应该请求当前的策略。

    Continuation-Based Runtime Callback Invocation
    9.
    发明申请
    Continuation-Based Runtime Callback Invocation 有权
    基于连续的运行时回调调用

    公开(公告)号：US20090300648A1

    公开(公告)日：2009-12-03

    申请号：US12129594

    申请日：2008-05-29

    申请人： Donald F. Box ,  Geoffrey M. Kizer ,  Kenneth David Wolf ,  Jeffrey C. Schlimmer ,  Edmund Samuel Victor Pinto

    发明人： Donald F. Box ,  Geoffrey M. Kizer ,  Kenneth David Wolf ,  Jeffrey C. Schlimmer ,  Edmund Samuel Victor Pinto

    IPC分类号： G06F9/44

    CPC分类号： G06F9/542

    摘要： Activity callbacks in a continuation-based runtime. At framework-definition time, a framework activity is authored. The framework activity may have an environmental logic portion the processes input or output parameters whose values will be supplied to and/or received from an activity callback. The framework activity also includes a callback invocation portion that, during execution time, will actually provide parameter value(s) to and/or receive parameter value(s) from the activity callback. The framework activity serves as a framework that operates with any activity callback that has one or more characteristics. Such activity callbacks may not even be defined at framework-definition time. Instead, the framework activity may be used multiple times in the same applications, or in different applications to thereby provide core framework functionality, while allowing application developers to plug in activity callbacks that meet the custom needs of the application.

    摘要翻译： 基于连续运行时的活动回调。 在框架定义的时候，编写框架活动。 框架活动可以具有环境逻辑部分，其值将被提供给活动回调和/或从活动回调中接收的过程输入或输出参数。 框架活动还包括回调调用部分，其在执行时间期间将实际地向活动回调提供参数值和/或从活动回调中接收参数值。 框架活动可用作具有一个或多个特征的任何活动回调的框架。 这样的活动回调在框架定义时间可能不会被定义。 相反，框架活动可以在相同的应用程序或不同应用程序中多次使用，从而提供核心框架功能，同时允许应用程序开发人员插入满足应用程序自定义需求的活动回调。