中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

309 records (took 0.028 seconds)

    Compiler supporting programs as data objects
    11.
    发明授权
    Compiler supporting programs as data objects 有权
    编译器支持程序作为数据对象

    公开(公告)号：US08458678B2

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

    申请号：US13161816

    申请日：2011-06-16

    Applicant: Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew Warren ,  Dinesh Chandrakant Kulkarni ,  Luca Bolognese ,  Peter A. Hallam ,  Gary Shon Katzenberger ,  Donald F. Box

    Inventor： 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 classification number: G06F8/47 ,  G06F8/427 ,  G06F8/436

    Abstract: 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.

    Abstract translation: 支持语言的编译器，其中选择的语义对象被表示为数据对象。 数据对象可以以多种方式用于扩展编程语言的能力。 数据对象可以传递给应用程序，并用于为该应用程序创建可执行指令。 以这种方式，用编译器的母语编写的指令可以用于控制接受与编译器的本机语言不一致的语言的程序的应用程序。 编译器的语法检查和变量绑定功能可以用于将由与编译器生成的目标代码分离的应用程序执行的那些指令。 可以基于包含在源代码中的快速操作来选择表示为数据对象的语义对象，或者可以基于隐式类型转换。

    Composite nested streams
    14.
    发明授权
    Composite nested streams 有权
    复合嵌套流

    公开(公告)号：US08423588B2

    公开(公告)日：2013-04-16

    申请号：US13411345

    申请日：2012-03-02

    Applicant: Avner Y. Aharoni ,  Henricus Johannes Maria Meijer

    Inventor： Avner Y. Aharoni ,  Henricus Johannes Maria Meijer

    IPC: G06F17/30

    CPC classification number: G06F17/30516

    Abstract: Reshaping of streams is provided to facilitate utilizing the streams without rapidly increasing memory requirements as the size of the stream increases. The streams can be pushed to alternative storage upon being reshaped, for example, such as to a persistent storage. If the streams lose structure, for example if a hierarchical stream is reshaped into a flat structure for storage in a database, structural information can be stored along with the streams and utilized to shape the stream to its original structure upon request for data, for example. Streams can be pulled from an exposing device or application, and portions of the stream can be transformed and stored according to a set of stop elements; the stop elements can be associated with functions that take action on the stream upon reaching a stop element, such as transforming and storing a portion thereof.

    Abstract translation: 提供流的重构以便于随着流的大小增加而快速增加存储器需求而利用流。 流可以被重新形成时被推送到备用存储器，例如，例如到持久存储器。 如果流丢失结构，例如，如果将分层流重新整形为用于存储在数据库中的平坦结构，则结构信息可以与流一起存储，并用于根据数据请求将流形成其原始结构，例如 。 流可以从曝光装置或应用程序中拉出，流的部分可以根据一组停止元素进行变换和存储; 停止元件可以与到达止动元件时对流进行动作的功能相关联，例如转换和存储其一部分。

    Pattern matching over structured literals
    15.
    发明授权
    Pattern matching over structured literals 有权
    模式匹配结构化文字

    公开(公告)号：US08397226B2

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

    申请号：US11504289

    申请日：2006-08-14

    Applicant: Henricus Johannes Maria Meijer ,  Brian C. Beckman

    Inventor： Henricus Johannes Maria Meijer ,  Brian C. Beckman

    IPC: G06F9/44

    CPC classification number: G06F8/437

    Abstract: A computer programming language, computer-readable medium and method for pattern matching over structured literals (e.g., XML literals, object literals, type literals, code literals, etc.). The programming language may have a pattern defined in an object-oriented programming language. The pattern may be a structured literal that is capable of matching a value contained in an incoming data stream. The structured literal may include one or more variables, which may be bound to the value if the pattern matches the value.

    Abstract translation: 计算机编程语言，计算机可读介质和用于在结构化文字上进行模式匹配的方法（例如，XML文字，对象文字，类型文字，代码文字等）。 编程语言可以具有以面向对象编程语言定义的模式。 该模式可以是能够匹配输入数据流中包含的值的结构化文字。 结构化文字可以包括一个或多个变量，如果模式匹配该值，则可以将其绑定到该值。

    BULK OPERATIONS
    18.
    发明申请
    BULK OPERATIONS 审中-公开
    大容量操作

    公开(公告)号：US20120158763A1

    公开(公告)日：2012-06-21

    申请号：US12971864

    申请日：2010-12-17

    Applicant: Henricus Johannes Maria Meijer

    Inventor： Henricus Johannes Maria Meijer

    IPC: G06F17/30

    CPC classification number: G06F16/2433 ,  G06F16/2386

    Abstract: Bulk operations including create, update, and delete operations are supported within the context of language-integrated queries. Such bulk operations can be implemented as distinct operations. Other operations, including query operators defining a collection of data over which the bulk operations can execute, can be restricted as a function of a specific bulk operation.

    Abstract translation: 在语言集成查询的上下文中支持批量操作，包括创建，更新和删除操作。 这种批量操作可以被实现为不同的操作。 定义可以执行大容量操作的数据集合的查询运算符的其他操作可以作为特定大容量操作的功能进行限制。

    SPREADSHEET MODEL FOR DISTRIBUTED COMPUTATIONS
    19.
    发明申请
    SPREADSHEET MODEL FOR DISTRIBUTED COMPUTATIONS 有权
    分布式计算的扩展模型

    公开(公告)号：US20120110428A1

    公开(公告)日：2012-05-03

    申请号：US12939139

    申请日：2010-11-03

    Applicant: Henricus Johannes Maria Meijer

    Inventor： Henricus Johannes Maria Meijer

    IPC: G06F17/00

    CPC classification number: G06F9/46

    Abstract: A spreadsheet model is employed to facilitate distributed computations. Spreadsheets and cells are generalized to correspond to arbitrary data sources that can be remote from each other, among other things. Functions can be specified with respect to these arbitrary data sources to produce combinations of data or mashups, for example, wherein changes initiate re-computation with respect to dependent data sources.

    Abstract translation: 采用电子表格模型来促进分布式计算。 电子表格和单元格被推广，以对应于可以彼此远离的任意数据源。 可以针对这些任意数据源指定功能以产生数据或混搭的组合，例如，其中改变引发相关数据源的重新计算。

    PARSING OBSERVABLE COLLECTIONS
    20.
    发明申请
    PARSING OBSERVABLE COLLECTIONS 审中-公开
    分享可观的收藏

    公开(公告)号：US20120095750A1

    公开(公告)日：2012-04-19

    申请号：US12904831

    申请日：2010-10-14

    Applicant: Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Daniel Johannes Pieter Leijen

    Inventor： Henricus Johannes Maria Meijer ,  John Wesley Dyer ,  Daniel Johannes Pieter Leijen

    IPC: G06F17/27 ,  G06F17/30

    CPC classification number: G06F8/427

    Abstract: Parsing technology is applied to observable collections. More specifically, a parser, such as combinator parser, can be employed to perform syntactic analysis over one or more observable collections. Further, multiple observable collections can be combined into a single collection and time can be captured by annotating collection items or generating time items.

    Abstract translation: 解析技术应用于可观察的集合。 更具体地，可以使用诸如组合器解析器的解析器来对一个或多个可观察集合执行句法分析。 此外，多个可观察集合可以组合成单个集合，并且可以通过注释集合项目或生成时间项目来捕获时间。

Patent Agency Ranking