中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

309 records (took 0.029 seconds)

    Anonymous types
    92.
    发明授权
    Anonymous types 失效
    匿名类型

    公开(公告)号：US07788651B2

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

    申请号：US11219256

    申请日：2005-09-02

    Applicant: Henricus Johannes Maria Meijer ,  Brian C. Beckman ,  Paul A. Vick ,  Amanda Silver

    Inventor： Henricus Johannes Maria Meijer ,  Brian C. Beckman ,  Paul A. Vick ,  Amanda Silver

    IPC: G06F9/45 ,  G06F9/44

    CPC classification number: G06F8/437

    Abstract: A computer-implemented system for representing data comprises a position indicator that indicates a position of a datum within a group, a name indicator that optionally names the datum, and a value of the datum. A type to be assigned to the datum is derived from at least one of a name of the datum and the position of the datum within the group. Methods of using the system are also provided.

    Abstract translation: 用于表示数据的计算机实现的系统包括指示组内的数据的位置的位置指示符，可选地命名数据的名称指示符和基准的值。 要分配给基准的类型从基准的名称和组内基准的位置中的至少一个派生。 还提供了使用该系统的方法。

    Anonymous types for statically typed queries
    94.
    发明授权
    Anonymous types for statically typed queries 有权
    用于静态类型查询的匿名类型

    公开(公告)号：US07743066B2

    公开(公告)日：2010-06-22

    申请号：US11193601

    申请日：2005-07-29

    Applicant: Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Dinesh C. Kulkarni

    Inventor： Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Dinesh C. Kulkarni

    IPC: G06F7/00 ,  G06F17/30 ,  G06F15/16

    CPC classification number: G06F17/30421 ,  G06F17/3041

    Abstract: Anonymous types for a programming language. Non-denotable anonymous types are types that a compiler generates on behalf of a programmer and can then be used as nominal types. Insofar as anonymous types do not have a name, they can be used only inside a method in which they are created. Additionally, an anonymous type cannot be exposed in any way outside of the method. Syntax to create an anonymous type is useful when employed with a Select operator to generate a result with a particular shape, without the need of having a regular type for it. Anonymous types are expressible such that an expression of that type can be written. Translation of an anonymous type by a compiler generates a nominal class that implements Equals and GetHashCode methods. There is equivalence of anonymous types within the same method, and conversion of an unrealized structural type into structurally compatible nominal type.

    Abstract translation: 编程语言的匿名类型。 不可表示的匿名类型是编译器代表程序员生成的类型，然后可以用作标称类型。 只要匿名类型没有名称，它们只能在创建它们的方法中使用。 此外，匿名类型不能以任何方式暴露在该方法之外。 创建匿名类型的语法在与“选择”运算符一起使用以生成具有特定形状的结果时非常有用，而无需为其定义类型。 匿名类型是可表达的，使得可以写入该类型的表达式。 编译器生成一个匿名类型，生成一个实现Equals和GetHashCode方法的标称类。 在同一方法中存在匿名类型的等价物，并将未实现的结构类型转换为结构兼容的名义类型。

    Layered type systems
    95.
    发明授权
    Layered type systems 有权
    分层式系统

    公开(公告)号：US07730448B2

    公开(公告)日：2010-06-01

    申请号：US11201507

    申请日：2005-08-11

    Applicant: Henricus Johannes Maria Meijer ,  David N. Schach ,  Avner Y. Aharoni ,  Peter F. Drayton

    Inventor： Henricus Johannes Maria Meijer ,  David N. Schach ,  Avner Y. Aharoni ,  Peter F. Drayton

    IPC: G06F9/44 ,  G06F9/45

    CPC classification number: G06F8/437

    Abstract: The subject disclosure pertains to layering of a plurality of type systems. A development environment and language compilers can support multiple data models and their type systems in the same program. Elements of a program such as expressions can then be associated with several types from the multiple type systems. Compilers can employ the information provided by additional type systems to improve static type checking. Furthermore, the information can be bubbled up to a user in a plurality of forms including but not limited to intelligent assistance, auto-completion, tool tips, error information, and return types to enhance the program development experience.

    Abstract translation: 主题公开涉及多个类型系统的分层。 开发环境和语言编译器可以在同一程序中支持多种数据模型及其类型系统。 诸如表达式的程序的元素然后可以与多种类型的系统中的几种类型相关联。 编译器可以使用附加类型系统提供的信息来改进静态类型检查。 此外，信息可以以多种形式鼓泡到用户，包括但不限于智能辅助，自动完成，工具提示，错误信息和返回类型，以增强程序开发经验。

    Architecture that extends types using extension methods
    98.
    发明授权
    Architecture that extends types using extension methods 有权
    使用扩展方法扩展类型的体系结构

    公开(公告)号：US07685567B2

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

    申请号：US11192919

    申请日：2005-07-29

    Applicant: Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Dinesh C. Kulkarni

    Inventor： Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Dinesh C. Kulkarni

    IPC: G06F9/44

    CPC classification number: G06F8/315

    Abstract: Architecture that extends existing types including constructed and sealed types using extension methods. Extension methods are static methods that can be invoked using instance method syntax. Extension methods are declared by specifying the keyword “this” as a modifier on the first parameter of the methods. Extension methods have all the capabilities of regular static methods. In addition, once imported, extension methods can be invoked using instance method syntax. Also disclosed are rules for importing extension methods, and extension method invocations. Extension methods are imported through using-namespace-directives. In addition to importing the types contained in a namespace, a using-namespace-directive imports all extension methods in all static classes in the namespace. In effect, imported extension methods appear as additional methods on the types that are given by their first parameter and have lower precedence than regular instance methods.

    Abstract translation: 使用扩展方法扩展现有类型（包括构造和密封类型）的体系结构。 扩展方法是可以使用实例方法语法调用的静态方法。 扩展方法通过在方法的第一个参数上指定关键字“this”作为修饰符来声明。 扩展方法具有常规静态方法的所有功能。 另外，一旦导入，可以使用实例方法语法来调用扩展方法。 还公开了导入扩展方法和扩展方法调用的规则。 扩展方法通过using-namespace-directives导入。 除了导入命名空间中包含的类型之外，using-namespace-directive会在命名空间中的所有静态类中导入所有扩展方法。 实际上，导入的扩展方法在其第一个参数给出的类型上显示为附加方法，并且具有比常规实例方法更低的优先级。

    Iterate-aggregate query parallelization
    100.
    发明授权
    Iterate-aggregate query parallelization 有权
    迭代聚合查询并行化

    公开(公告)号：US07680765B2

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

    申请号：US11616712

    申请日：2006-12-27

    Applicant: Henricus Johannes Maria Meijer ,  Ralf Lammel ,  Brian C. Beckman

    Inventor： Henricus Johannes Maria Meijer ,  Ralf Lammel ,  Brian C. Beckman

    IPC: G06F17/30

    CPC classification number: G06F17/30445 ,  G06F17/30486 ,  G06F17/30592

    Abstract: Iterate-aggregate shape queries are executable in an efficient parallel manner. Techniques are utilized that leverage properties of aggregations to implement such a query in a highly parallelized manner utilizing one or both of vertical and horizontal parallelism. More specifically, queries can be recursively evaluated in parallel utilizing partitioning and repartitioning mechanisms. Distributed query execution results over a subset of input data are repartitioned and aggregated to produce a final result.

    Abstract translation: 迭代聚合形状查询可以以高效的并行方式执行。 利用利用聚合的属性来利用垂直和水平并行度中的一个或两个以高度并行化的方式实现这种查询的技术。 更具体地，可以使用分区和重新分配机制来并行地递归地评估查询。 重新分区和聚合输入数据子集上的分布式查询执行结果，以产生最终结果。

Patent Agency Ranking