利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

112 条记录 (耗时 0.037 秒)

    STATIC TYPE FOR LATE BINDING
    26.
    发明申请
    STATIC TYPE FOR LATE BINDING 审中-公开
    用于最后绑定的静态类型

    公开(公告)号：US20080282238A1

    公开(公告)日：2008-11-13

    申请号：US11746995

    申请日：2007-05-10

    申请人： Henricus Johannes Maria Meijer ,  Peter A. Hallam ,  Anders Hejlsberg

    发明人： Henricus Johannes Maria Meijer ,  Peter A. Hallam ,  Anders Hejlsberg

    IPC分类号： G06F9/44

    CPC分类号： G06F8/437

    摘要： A static type computer language provides optional dynamic typing triggered by a unique static type. The unique static type can be utilized anywhere other types can be employed to identify programmatic elements that are late bound. As a result, static types can be analyzed at compile time while deferring analysis of dynamic types until runtime.

    摘要翻译： 静态类型的计算机语言提供了由唯一静态类型触发的可选动态类型。 独特的静态类型可以在任何其他类型可用于识别晚期限制的程序元素的地方使用。 因此，可以在编译时分析静态类型，同时推迟对动态类型的分析，直到运行时为止。

    PARTIAL METHODS
    28.
    发明申请
    PARTIAL METHODS 有权
    部分方法

    公开(公告)号：US20080196014A1

    公开(公告)日：2008-08-14

    申请号：US11674333

    申请日：2007-02-13

    申请人： Dinesh C. Kulkarni ,  Mads Torgersen ,  Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Peter A. Hallam

    发明人： Dinesh C. Kulkarni ,  Mads Torgersen ,  Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Peter A. Hallam

    IPC分类号： G06F9/45

    CPC分类号： G06F8/00

    摘要： Partial methods enable separation of method declaration and/or calls from method implementation. A partial method specifies a signature of a join or hook point in a class. Calls to a partial method specify a join or hook point in code that can optionally be linked with an actual method implementation of the same signature. Separate method implementations or other code related to a partial method are injected into a single program prior to execution. Unimplemented partial methods are treated as no operation instructions or otherwise ignored.

    摘要翻译： 部分方法使得方法实现能够分离方法声明和/或调用。 部分方法指定类中的连接或钩点的签名。 调用部分方法指定可以可选地与相同签名的实际方法实现链接的代码中的连接或挂接点。 在执行之前，将单独的方法实现或与部分方法相关的其他代码注入到单个程序中。 未实现的部分方法被视为无操作指令或以其他方式忽略。

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

    公开(公告)号：US08275731B2

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

    申请号：US12777110

    申请日：2010-05-10

    申请人： Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Dinesh C. Kulkami

    发明人： Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Dinesh C. Kulkami

    IPC分类号： G06N5/00

    CPC分类号： G06F17/30421 ,  G06F17/3041

    摘要： 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.

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

    COMPILER SUPPORTING PROGRAMS AS DATA OBJECTS
    30.
    发明申请
    COMPILER SUPPORTING PROGRAMS AS DATA OBJECTS 有权
    编译器支持程序作为数据对象

    公开(公告)号：US20110246973A1

    公开(公告)日：2011-10-06

    申请号：US13161816

    申请日：2011-06-16

    申请人： Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Dinesh Chandrakant Kulkarni ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Donald Box

    发明人： Henricus Johannes Maria Meijer ,  Anders Hejlsberg ,  Matthew J. Warren ,  Dinesh Chandrakant Kulkarni ,  Luca Bolognese ,  Peter A. Hallam ,  Gary S. Katzenberger ,  Donald Box

    IPC分类号： G06F9/45

    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.

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