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

1. 发明申请

US20080262992A1 TYPE INFERENCE FOR OBJECT-ORIENTED LANGUAGES 有权
标题翻译：面向对象语言的类型推理
公开(公告)号：US20080262992A1
公开(公告)日：2008-10-23
申请号：US11737892
申请日：2007-04-20
申请人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
IPC分类号： G06F9/44
CPC分类号： G06F9/4488
摘要： Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译：系统和方法便于计算机编程环境中的类型推断。类型推断可以应用于面向对象语言中的泛型方法或函数调用，以确定程序员隐藏的类型参数列表。一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。

2. 发明授权

US07873592B2 Type inference for object-oriented languages 有权
标题翻译：类型推理面向对象语言
公开(公告)号：US07873592B2
公开(公告)日：2011-01-18
申请号：US11737892
申请日：2007-04-20
申请人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
IPC分类号： G06F9/44 , G06N7/02 , G06N7/06
CPC分类号： G06F9/4488
摘要： Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译：系统和方法便于计算机编程环境中的类型推断。类型推断可以应用于面向对象语言中的泛型方法或函数调用，以确定程序员隐藏的类型参数列表。一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。

3. 发明申请

US20080320440A1 FULLY CAPTURING OUTER VARIABLES AS DATA OBJECTS 有权
标题翻译：作为数据对象完全捕获外部变量
公开(公告)号：US20080320440A1
公开(公告)日：2008-12-25
申请号：US11766514
申请日：2007-06-21
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
IPC分类号： G06F9/44
CPC分类号： G06F8/72
摘要： Providing for read/write access to captured free variables expressed as environment data objects is disclosed herein. By way of example, free variables can be rewritten as a field of a private class, and accessed via an instance of the private class captured within the environment data object. In such a manner, no need of a placeholder or proxy function is required to access the free variable. Consequently, the subject innovation provides a simplified method for capturing free variables within expression trees and providing read/write access to such variables.
摘要翻译：提供对作为环境数据对象表示的捕获的可变变量的读/写访问。作为示例，自由变量可以重写为私有类的字段，并通过环境数据对象中捕获的私有类的实例进行访问。以这种方式，不需要占位符或代理功能来访问自由变量。因此，本创新提供了一种简化的方法，用于捕获表达式树中的自由变量，并提供对这些变量的读/写访问。

4. 发明授权

US08060868B2 Fully capturing outer variables as data objects 有权
标题翻译：将外部变量完全捕获为数据对象
公开(公告)号：US08060868B2
公开(公告)日：2011-11-15
申请号：US11766514
申请日：2007-06-21
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/72
摘要： Providing for read/write access to captured free variables expressed as environment data objects is disclosed herein. By way of example, free variables can be rewritten as a field of a private class, and accessed via an instance of the private class captured within the environment data object. In such a manner, no need of a placeholder or proxy function is required to access the free variable. Consequently, the subject innovation provides a simplified method for capturing free variables within expression trees and providing read/write access to such variables.
摘要翻译：提供对作为环境数据对象表示的捕获的可变变量的读/写访问。作为示例，自由变量可以重写为私有类的字段，并通过环境数据对象中捕获的私有类的实例进行访问。以这种方式，不需要占位符或代理功能来访问自由变量。因此，本创新提供了一种简化的方法，用于捕获表达式树中的自由变量，并提供对这些变量的读/写访问。

5. 发明申请

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

6. 发明授权

US07890939B2 Partial methods 有权
标题翻译：部分方法
公开(公告)号：US07890939B2
公开(公告)日：2011-02-15
申请号：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.
摘要翻译：部分方法使得方法实现能够分离方法声明和/或调用。部分方法指定类中的连接或钩点的签名。调用部分方法指定可以可选地与相同签名的实际方法实现链接的代码中的连接或挂接点。在执行之前，将单独的方法实现或与部分方法相关的其他代码注入到单个程序中。未实现的部分方法被视为无操作指令或以其他方式忽略。

7. 发明授权

US07992140B2 Compiler supporting programs as data objects 有权
标题翻译：编译器支持程序作为数据对象
公开(公告)号：US07992140B2
公开(公告)日：2011-08-02
申请号：US11193721
申请日：2005-07-29
申请人： 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 , 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.
摘要翻译：支持语言的编译器，其中选择的语义对象被表示为数据对象。数据对象可以以多种方式用于扩展编程语言的能力。数据对象可以传递给应用程序，并用于为该应用程序创建可执行指令。以这种方式，用编译器的母语编写的指令可以用于控制接受与编译器的本机语言不一致的语言的程序的应用程序。编译器的语法检查和变量绑定功能可以用于将由与编译器生成的目标代码分离的应用程序执行的那些指令。可以基于包含在源代码中的快速操作来选择表示为数据对象的语义对象，或者可以基于隐式类型转换。

8. 发明授权

US07818719B2 Extending expression-based syntax for creating object instances 有权
标题翻译：扩展用于创建对象实例的基于表达式的语法
公开(公告)号：US07818719B2
公开(公告)日：2010-10-19
申请号：US11193584
申请日：2005-07-29
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F9/4488
摘要： Syntax for creating object instances utilizing expressions instead of statements. A syntax component facilitates extension of conventional object-creation-expression syntax. An initializer component provides for initialization of a newly-created entity via object and collection initializers. The initializer component provides initialization of the newly-created entity utilizing an object initializer where the object initializer specifies values for one or more fields or properties of the newly-created entity which is an object, and consists of a sequence of member initializers enclosed by tokens and separated by commas. The initializer component can also provides initialization of the newly-created entity utilizing a collection initializer when the underlying object implements a certain interface or implements a certain pattern. An overloading constructor can be called as part of the initialization process. In another aspect, code inferencing is disclosed whereby given a type, the corresponding code can be inferred by the compiler and inserted for compiling by a compiler.
摘要翻译：使用表达式而不是语句创建对象实例的语法。语法组件有助于扩展常规的对象创建表达式语法。初始化器组件通过对象和集合初始化器提供新创建的实体的初始化。初始化器组件使用对象初始化器来提供新创建的实体的初始化，其中对象初始化器指定作为对象的新创建的实体的一个或多个字段或属性的值，并且包括由令牌包围的成员初始化器序列并用逗号分隔。初始化器组件还可以在底层对象实现特定接口或实现某种模式时，利用集合初始化器来提供新创建的实体的初始化。可以调用重载构造函数作为初始化过程的一部分。在另一方面，公开了代码推论，由此给定类型，相应的代码可以由编译器推断并插入以供编译器编译。

9. 发明授权

US08370801B2 Architecture that extends types using extension methods 有权
标题翻译：使用扩展方法扩展类型的体系结构
公开(公告)号：US08370801B2
公开(公告)日：2013-02-05
申请号：US12728939
申请日：2010-03-22
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
IPC分类号： G06F9/44
CPC分类号： G06F8/315
摘要： 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.
摘要翻译：使用扩展方法扩展现有类型（包括构造和密封类型）的体系结构。扩展方法是可以使用实例方法语法调用的静态方法。通过将关键字this指定为方法的第一个参数的修饰符来声明扩展方法。扩展方法具有常规静态方法的所有功能。另外，一旦导入，可以使用实例方法语法来调用扩展方法。还公开了导入扩展方法和扩展方法调用的规则。扩展方法通过using-namespace-directives导入。除了导入命名空间中包含的类型之外，using-namespace-directive会在命名空间中的所有静态类中导入所有扩展方法。实际上，导入的扩展方法在其第一个参数给出的类型上显示为附加方法，并且具有比常规实例方法更低的优先级。

10. 发明授权

US07743066B2 Anonymous types for statically typed queries 有权
标题翻译：用于静态类型查询的匿名类型
公开(公告)号：US07743066B2
公开(公告)日：2010-06-22
申请号：US11193601
申请日：2005-07-29
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
发明人： 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分类号： 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方法的标称类。在同一方法中存在匿名类型的等价物，并将未实现的结构类型转换为结构兼容的名义类型。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式