专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08458678B2 Compiler supporting programs as data objects 有权
标题翻译：编译器支持程序作为数据对象
公开(公告)号：US08458678B2
公开(公告)日：2013-06-04
申请号：US13161816
申请日：2011-06-16
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew Warren , Dinesh Chandrakant Kulkarni , Luca Bolognese , Peter A. Hallam , Gary Shon Katzenberger , Donald F. Box
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew Warren , Dinesh Chandrakant Kulkarni , Luca Bolognese , Peter A. Hallam , Gary Shon Katzenberger , Donald F. Box
IPC分类号： G06F9/45 , G06F9/44 , G06F7/00 , G06F17/30
CPC分类号： G06F8/47 , G06F8/427 , G06F8/436
摘要： A compiler supporting a language in which selected semantic objects are represented as data objects. The data objects may be used in multiple ways to expand the capabilities of the programming language. Data objects may be passed to applications and used to create executable instructions for that application. In this way, instructions written in the native language of the compiler may be used to control applications that accept programs in a language inconsistent with the native language of the compiler. The syntax checking and variable binding capabilities of the compiler may be used for those instructions that will be executed by an application separate from the object code generated by the compiler. The semantic objects represented as data objects may be selected based on express operations included in the source code or may be based on implicit type conversion.
摘要翻译：支持语言的编译器，其中选择的语义对象被表示为数据对象。数据对象可以以多种方式用于扩展编程语言的能力。数据对象可以传递给应用程序，并用于为该应用程序创建可执行指令。以这种方式，用编译器的母语编写的指令可以用于控制接受与编译器的本机语言不一致的语言的程序的应用程序。编译器的语法检查和变量绑定功能可以用于将由与编译器生成的目标代码分离的应用程序执行的那些指令。可以基于包含在源代码中的快速操作来选择表示为数据对象的语义对象，或者可以基于隐式类型转换。

2. 发明授权

US07409636B2 Lightweight application program interface (API) for extensible markup language (XML) 有权
标题翻译：用于可扩展标记语言（XML）的轻量级应用程序接口（API）
公开(公告)号：US07409636B2
公开(公告)日：2008-08-05
申请号：US11193567
申请日：2005-07-29
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , David L. Remy , Arpan A. Desai , Asad Jawahar , Andrew E. Kimball , Donald F. Box
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , David L. Remy , Arpan A. Desai , Asad Jawahar , Andrew E. Kimball , Donald F. Box
IPC分类号： G06F17/00
CPC分类号： G06F17/2247 , G06F17/30932
摘要： An architecture that leverages support for markup language operations, e.g., extensible markup language (XML) queries, via a lightweight application program interface (API). The API defines an object model that can simplify construction of XML values in languages that do not natively support XML. The novel aspects of the described innovation can enable query languages to be factored into general operations (e.g., mapping, filtering, sorting, and/or projection of functions) on collections on one hand, and a set of domain specific operations (e.g., navigation, construction and modification) on the elements of these collections on another hand. The subject API can support creation of XML data that is node centric (e.g., context-free). Accordingly, nodes do not have to be constructed within the context of a document. Additionally, aspects can enable expression-oriented interface mechanisms as opposed to the imperative statement-oriented style interfaces used in connection with traditional interface mechanisms (e.g., DOM).
摘要翻译：通过轻量级应用程序接口（API）利用支持标记语言操作（例如可扩展标记语言（XML）查询）的体系结构。 API定义了一个对象模型，可以简化XML本身不支持XML的语言的构造。所描述的创新的新颖方面可以使查询语言能够一方面被视为一般操作（例如，功能的映射，过滤，排序和/或投影），以及一组特定于领域的操作（例如，导航，建设和修改）另一方面对这些收藏品的要素。主题API可以支持以节点为中心（例如，无上下文）创建XML数据。因此，节点不必在文档的上下文中构建。另外，方面可以实现面向表达式的接口机制，而不是与传统接口机制（例如，DOM）结合使用的面向语句的风格接口。

3. 发明授权

US09354847B2 Interface infrastructure for a continuation based runtime 有权
标题翻译：用于基于连续运行时的接口基础结构
公开(公告)号：US09354847B2
公开(公告)日：2016-05-31
申请号：US12345288
申请日：2008-12-29
申请人： Kenneth D. Wolf , Edmund Samuel Victor Pinto , Robert Brian Schmidt , Donald F. Box , Geoffrey M. Kizer , Nathan C. Talbert , Kavita Kamani , Alberto Arias Maestro , David Robert Cliffe , Tirunelveli R. Vishwanath , HongMei Ge , Stephen Jared Maine , Alexander Martin DeJarnatt
发明人： Kenneth D. Wolf , Edmund Samuel Victor Pinto , Robert Brian Schmidt , Donald F. Box , Geoffrey M. Kizer , Nathan C. Talbert , Kavita Kamani , Alberto Arias Maestro , David Robert Cliffe , Tirunelveli R. Vishwanath , HongMei Ge , Stephen Jared Maine , Alexander Martin DeJarnatt
IPC分类号： G06F9/44
CPC分类号： G06F8/30 , G06F8/313
摘要： Namespace for continuation-based runtime. Some embodiments described herein are directed to a framework using continuation based runtime namespaces that pertain to an infrastructure for enabling the creation of a wide variety of continuation-based programs that perform a wide-array of tasks. The infrastructure provides a foundation for building continuation-based, declarative applications of various scale and complexity. In some embodiments, the associated application programming interfaces (APIs) are factored into a hierarchy of namespaces in a manner that balances utility, usability, extensibility, and versionability.
摘要翻译：基于连续运行时的命名空间。本文描述的一些实施例涉及使用与基础设施相关的基于连续的运行时命名空间的框架，用于使得能够创建执行各种任务的各种基于连续的程序。该基础设施为构建各种规模和复杂性的基于连续的声明性应用程序提供了基础。在一些实施例中，将相关联的应用编程接口（API）以平衡实用性，可用性，可扩展性和可版本性的方式考虑到命名空间的层级中。

4. 发明授权

US08762942B2 Bidirectional type checking for declarative data scripting language 有权
标题翻译：用于声明式数据脚本语言的双向类型检查
公开(公告)号：US08762942B2
公开(公告)日：2014-06-24
申请号：US12244967
申请日：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 , G06F9/45
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. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system.
摘要翻译：一种高效，逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。为类型系统提供了双向类型检查算法，包括综合和检查步骤，以静态验证基于类型系统的代码类型。

5. 发明申请

US20130117733A1 Simultaneously targeting multiple homogeneous and heterogeneous runtime environments 有权
公开(公告)号：US20130117733A1
公开(公告)日：2013-05-09
申请号：US13292535
申请日：2011-11-09
申请人： Haroon Ahmed , Sadik Gokhan Caglar , Fabian O. Winternitz , Donald F. Box
发明人： Haroon Ahmed , Sadik Gokhan Caglar , Fabian O. Winternitz , Donald F. Box
IPC分类号： G06F9/45
CPC分类号： G06F8/30 , G06F8/47
摘要： A single software project in an integrated development environment (IDE) may be built for multiple target environments in a single build episode. Multiple different output artifacts may be generated by the build process for each of the target environments. The output artifacts are then deployed to the target environments, which may be homogeneous or heterogeneous environments. The same source project may be used to generate multiple output artifacts for the same target environment.

6. 发明申请

US20110191384A1 DATABASE INTEGRATED VIEWER 有权
标题翻译：数据库集成查看器
公开(公告)号：US20110191384A1
公开(公告)日：2011-08-04
申请号：US12698038
申请日：2010-02-01
申请人： Scott M. Roberts , Siddharth Jayadevan , Donald F. Box , Laurent Mollicone , James R. Flynn
发明人： Scott M. Roberts , Siddharth Jayadevan , Donald F. Box , Laurent Mollicone , James R. Flynn
IPC分类号： G06F7/00 , G06F17/00
CPC分类号： G06F7/00 , G06F17/00
摘要： A database integration viewer that allows additional properties to be associated with a record as viewed in a single record or table, even though those additional properties are not owned by the record in the underlying source record or table in the database. Using this integration view, a viewed version of record or table may be different than the actual structure of the source record or table. In the viewed version of the record or table, the viewed record or table or may include some or all of the properties for the records of the subject record or table, while incorporating one or more additional properties for the record into the viewed table. The properties may be scalars, or may be computed to populate the viewed version of the record or table.
摘要翻译：数据库集成查看器，允许在单个记录或表中查看与其他属性相关联的数据库集成查看器，即使这些附加属性不属于数据库中基础源记录或表中的记录。使用此集成视图，所查看的记录或表格可能与源记录或表的实际结构不同。在所查看的记录或表格的版本中，所查看的记录或表格或者可以包括主题记录或表的记录的一些或全部属性，同时将记录中的一个或多个附加属性合并到查看表中。属性可以是标量，或者可以被计算来填充所查看的记录或表的版本。

7. 发明授权

US07949787B2 Open content model Web service messaging 有权
标题翻译：打开内容模型Web服务消息传递
公开(公告)号：US07949787B2
公开(公告)日：2011-05-24
申请号：US10801999
申请日：2004-03-15
申请人： Donald F. Box , Christopher G. Kaler , David E. Langworthy , Steven E. Lucco , John Shewchuk , Luis Felipe Cabrera , Craig A Critchley , Geary L. Eppley , Bradford H. Lovering , Jeffrey C. Schlimmer , David Wortendyke , Henrik F. Nielsen
发明人： Donald F. Box , Christopher G. Kaler , David E. Langworthy , Steven E. Lucco , John Shewchuk , Luis Felipe Cabrera , Craig A Critchley , Geary L. Eppley , Bradford H. Lovering , Jeffrey C. Schlimmer , David Wortendyke , Henrik F. Nielsen
IPC分类号： G06F15/16
CPC分类号： G06F9/546 , H04L51/066 , H04L67/02 , H04M1/22
摘要： Systems and methods for open content model Web service messaging in a networked computing environment are described. In one aspect, a transport neutral message is generated that includes message recipient, endpoint addressing information, and one or more reference properties. The reference properties include selectively opaque message context. The transport neutral message is bound to a transport protocol for communication to the message recipient. At least a portion of the selectively opaque message context is not directed to the message recipient.
摘要翻译：描述了用于开放内容的系统和方法在网络计算环境中的Web服务消息传递。在一个方面，生成包括消息接收者，端点寻址信息和一个或多个参考属性的传输中性消息。引用属性包括选择性地不透明的消息上下文。传输中性消息被绑定到用于与消息接收者通信的传输协议。选择性地不透明消息上下文的至少一部分不指向消息接收者。

8. 发明申请

US20110099188A1 DATA FRAMEWORK TO ENABLE RICH PROCESSING OF DATA FROM ANY ARBITRARY DATA SOURCE 有权
标题翻译：数据框架可以从任何不利的数据源启用数据的大量处理
公开(公告)号：US20110099188A1
公开(公告)日：2011-04-28
申请号：US12604749
申请日：2009-10-23
申请人： Haroon Ahmed , John David Doty , Donald F. Box , Randy S. Kimmerly
发明人： Haroon Ahmed , John David Doty , Donald F. Box , Randy S. Kimmerly
IPC分类号： G06F7/10 , G06F17/30
CPC分类号： G06F17/30477 , G06F17/30471
摘要： Accessing data in a data store at a field granularity. A method includes receiving a query from a user. The query specifies one or more non-unique fields of a record. The method further includes sending the query to a data store to retrieve the fields of the record at a field granularity. The method further includes receiving data for the one or more non-unique fields of the record at a field granularity.
摘要翻译：以字段粒度访问数据存储中的数据。一种方法包括从用户接收查询。该查询指定记录的一个或多个非唯一字段。该方法还包括将查询发送到数据存储以以字段粒度检索记录的字段。该方法还包括以场粒度接收记录的一个或多个非唯一字段的数据。

9. 发明授权

US07730041B2 Data abstraction based serialization 失效
标题翻译：基于数据抽象的序列化
公开(公告)号：US07730041B2
公开(公告)日：2010-06-01
申请号：US10925567
申请日：2004-08-25
申请人： Douglas M. Purdy , Sowmyanarayanan K. Srinivasan , Bradford H. Lovering , Donald F. Box , Gopala Krishna R. Kakivaya , Natasha H. Jethanandani , Stefan H. Pharies , Stephen T. Swartz , Steven E. Lucco
发明人： Douglas M. Purdy , Sowmyanarayanan K. Srinivasan , Bradford H. Lovering , Donald F. Box , Gopala Krishna R. Kakivaya , Natasha H. Jethanandani , Stefan H. Pharies , Stephen T. Swartz , Steven E. Lucco
IPC分类号： G06F17/00
CPC分类号： G06F9/4493
摘要： Serialization and deserialization using data contracts. The data contract specifies data types that are serialized and deserialized for data objects that are associated with the data contract. During serialization, the data contract associated with the data object is identified. Then, the data fields that correspond to those specified data field types are extracted from the data object and serialized into a serialization format. During deserialization, the serialization mechanism receives a serialized data structure having a particular serialization format. A data contract is then identified as being associated with the serialized data structure. After deserialization of the serialized data structure into abstract data, a corresponding data object is populated with data fields that correspond only with those data field types specified in the data contract. Accordingly, data abstraction is enabled while serializing and deserializing.
摘要翻译：使用数据合同进行序列化和反序列化。数据合约指定与数据合同相关联的数据对象被序列化和反序列化的数据类型。在序列化期间，识别与数据对象相关联的数据契约。然后，从数据对象中提取对应于这些指定数据字段类型的数据字段，并将其序列化为序列化格式。在反序列化期间，序列化机制接收具有特定序列化格式的序列化数据结构。然后将数据合同识别为与序列化数据结构相关联。将序列化数据结构反序列化为抽象数据后，将使用仅与数据合同中指定的数据字段类型对应的数据字段填充相应的数据对象。因此，在序列化和反序列化时启用数据抽象。

10. 发明申请

US20100088679A1 BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE 有权
标题翻译：用于声明数据脚本语言的双向类型检查
公开(公告)号：US20100088679A1
公开(公告)日：2010-04-08
申请号：US12244967
申请日：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/45 , G06F9/44 , G06N5/02
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. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system.
摘要翻译：一种高效，逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。为类型系统提供了双向类型检查算法，包括综合和检查步骤，以静态验证基于类型系统的代码类型。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式