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

1. 发明申请

US20060048095A1 Local type alias inference system and method 审中-公开
标题翻译：本地类型别名推理系统和方法
公开(公告)号：US20060048095A1
公开(公告)日：2006-03-02
申请号：US10930145
申请日：2004-08-31
申请人： Henricus Meijer , Eric Gunnerson , Peter Hallam , Anders Hejlsberg , Gary Katzenberger , Matthew Warren
发明人： Henricus Meijer , Eric Gunnerson , Peter Hallam , Anders Hejlsberg , Gary Katzenberger , Matthew Warren
IPC分类号： G06F9/44
CPC分类号： G06F8/434
摘要： The present invention discloses an improved system and method for specifying and compiling computer programs. Type aliases are introduced whose binding is inferred by a type inference component during compilation. Once declared, type aliases can be utilized just like regular types thereby providing added efficiency in coding, among other things. Additionally, a mechanism for specifying the introduction of a new variable whose type is to be inferred is disclosed. This mechanism clears up an ambiguity during type inference concerning whether to infer a new variable type or utilize a variable in scope. Further yet, an efficient type inference system and method is disclosed to effectively deal with overloading among other things.
摘要翻译：本发明公开了一种用于指定和编译计算机程序的改进的系统和方法。引入类型别名，其编译期间由类型推断组件推断其绑定。一旦声明，类别别可以像常规类型一样使用，从而提高编码的效率等等。另外，公开了一种用于指定引入类型被推断的新变量的机制。这种机制在关于是推断新的变量类型还是在范围中使用变量的类型推理中清除了歧义。此外，公开了一种有效的类型推理系统和方法，以有效地处理超负荷等。

2. 发明申请

US20060053131A1 General programming language support for nullable types 有权
标题翻译：通用编程语言支持可空类型
公开(公告)号：US20060053131A1
公开(公告)日：2006-03-09
申请号：US10935247
申请日：2004-09-07
申请人： Henricus Meijer , Anders Hejlsberg , Eric Gunnerson , Gary Katzenberger , Peter Hallam , Matthew Warren
发明人： Henricus Meijer , Anders Hejlsberg , Eric Gunnerson , Gary Katzenberger , Peter Hallam , Matthew Warren
IPC分类号： G06F7/00
CPC分类号： G06F8/31 , Y10S707/99934 , Y10S707/99935 , Y10S707/99942 , Y10S707/99945
摘要： The subject invention relates to systems and methods that provide null capabilities within the context of programming languages. In one aspect, a system is provided that facilitates null-support in various programming languages. The system includes one or more types associated with at least one programming language. A type modifier is provided to signal that the type is nullable. The type modifier enables a multi-element structure to be automatically created in association with the type wherein, the multi-element structure includes the type and a Boolean element indicating whether or not the variable is null.
摘要翻译：本发明涉及在编程语言的上下文中提供零能力的系统和方法。在一个方面，提供了一种促进各种编程语言的空支持的系统。该系统包括与至少一种编程语言相关联的一种或多种类型。提供一个类型修饰符来表示该类型为空。类型修饰符使得能够与其中多元素结构包括类型的类型相关联地自动创建多元素结构，并且指示该变量是否为空的布尔元素。

3. 发明申请

US20070028222A1 Free/outer variable capture 审中-公开
标题翻译：自由/外部变量捕获
公开(公告)号：US20070028222A1
公开(公告)日：2007-02-01
申请号：US11193566
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Peter Hallam , Gary Katzenberger , Dinesh Kulkarni
发明人： Henricus Meijer , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Peter Hallam , Gary Katzenberger , Dinesh Kulkarni
IPC分类号： G06F9/45
CPC分类号： G06F8/43
摘要： This disclosure concerns various manners and mechanisms to capture and interact with free/outer variables or parameters. The capture of such variables, among other things, enables the code to become mobile to facilitate transmission to and execution by various systems or sub-systems. Transmission can be accomplished, for instance, by generation of code objects or data packets that include substituted values of the free variables and/or references to the location of the values.
摘要翻译：本公开涉及捕获自由/外部变量或参数的各种方式和机制。除了别的以外，捕获这些变量使得代码变得可移动，以便于各种系统或子系统的传输和执行。传输可以例如通过生成包括自由变量的替代值和/或对值的位置的引用的数据分组来实现。

4. 发明申请

US20070028212A1 Extending expression-based syntax for creating object instances 有权
标题翻译：扩展用于创建对象实例的基于表达式的语法
公开(公告)号：US20070028212A1
公开(公告)日：2007-02-01
申请号：US11193584
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Peter Hallam , Gary Katzenberger , Dinesh Kulkarni
发明人： Henricus Meijer , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Peter Hallam , Gary Katzenberger , Dinesh Kulkarni
IPC分类号： G06F9/44
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.
摘要翻译：使用表达式而不是语句创建对象实例的语法。语法组件有助于扩展常规的对象创建表达式语法。初始化器组件通过对象和集合初始化器提供新创建的实体的初始化。初始化器组件使用对象初始化器来提供新创建的实体的初始化，其中对象初始化器指定作为对象的新创建的实体的一个或多个字段或属性的值，并且包括由令牌包围的成员初始化器序列并用逗号分隔。初始化器组件还可以在底层对象实现特定接口或实现某种模式时，利用集合初始化器来提供新创建的实体的初始化。可以调用重载构造函数作为初始化过程的一部分。在另一方面，公开了代码推论，由此给定类型，相应的代码可以由编译器推断并插入以供编译器编译。

5. 发明申请

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

6. 发明申请

US20070044083A1 Lambda expressions 审中-公开
标题翻译： Lambda表达式
公开(公告)号：US20070044083A1
公开(公告)日：2007-02-22
申请号：US11193565
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , Donald Box , Matthew Warren , Luca Bolognese , Gary Katzenberger , Peter Hallam , Dinesh Kulkarni
发明人： Henricus Meijer , Anders Hejlsberg , Donald Box , Matthew Warren , Luca Bolognese , Gary Katzenberger , Peter Hallam , Dinesh Kulkarni
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/311 , G06F8/312
摘要： The subject disclosure pertains to lambda expressions and the employment of such expressions in imperative and/or object-oriented computer programming languages. Lambda expressions can be employed in conjunction with methods (e.g., arguments, assignment . . . ) to provide a more concise and functional manner of code specification. Further, lambda expressions can participate in type inference and checking as well as overload resolution, among other things.
摘要翻译：主题公开涉及lambda表达式以及在命令式和/或面向对象的计算机编程语言中使用这种表达式。 Lambda表达式可以与方法（例如，参数，赋值...）一起使用，以提供更简洁和功能性的代码规范方式。此外，lambda表达式可以参与类型推断和检查以及重载分辨率等等。

7. 发明申请

US20070028209A1 Architecture that extends types using extension methods 有权
标题翻译：使用扩展方法扩展类型的体系结构
公开(公告)号：US20070028209A1
公开(公告)日：2007-02-01
申请号：US11192919
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Peter Hallam , Gary Katzenberger , Dinesh Kulkarni
发明人： Henricus Meijer , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Peter Hallam , Gary Katzenberger , Dinesh Kulkarni
IPC分类号： G06F9/44 , G06F9/45
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会在命名空间中的所有静态类中导入所有扩展方法。实际上，导入的扩展方法在其第一个参数给出的类型上显示为附加方法，并且具有比常规实例方法更低的优先级。

8. 发明申请

US20070027849A1 Integrating query-related operators in a programming language 审中-公开
标题翻译：将查询相关的运算符集成在一种编程语言中
公开(公告)号：US20070027849A1
公开(公告)日：2007-02-01
申请号：US11193787
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Peter Hallam , Gary Katzenberger , Dinesh Kulkarni
发明人： Henricus Meijer , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Peter Hallam , Gary Katzenberger , Dinesh Kulkarni
IPC分类号： G06F17/30
CPC分类号： G06F16/2438 , G06F16/289
摘要： A general-purpose programming language having language extensions for strongly typed, compile-time checked query and set operations that can be applied to arbitrary data structures, be they object-relational (O-R) mappings or just regular objects. As is appropriate for a general purpose programming language, the extensions do not mandate a particular object-relational layer; rather, they are introduced as abstractions that can be implemented in multiple environments. Accordingly, there is provided a system that facilitates data querying in accordance with an innovative aspect. The system include a program component that provides embedded query and set operations in a programming language, and an application component that facilitates application of the query and set operations over a data structure of data. The data can be any kind of data such as that found in a database, a document (e.g., XML), and data sources in a programming language (e.g., C#), for example.
摘要翻译：具有用于强类型，编译时检查查询和可应用于任意数据结构的集合操作的语言扩展的通用编程语言，无论是对象关系（O-R）映射还是只是常规对象。适用于通用编程语言，扩展不要求特定的对象关系层; 相反，它们被引入可以在多个环境中实现的抽象。因此，提供了一种根据创新方面促进数据查询的系统。该系统包括以编程语言提供嵌入式查询和集合操作的程序组件，以及促进查询应用并且对数据的数据结构设置操作的应用程序组件。数据可以是例如在数据库，文档（例如，XML）中找到的任何类型的数据，以及编程语言（例如，C＃）中的数据源。

9. 发明申请

US20070027907A1 Code generation patterns 有权
标题翻译：代码生成模式
公开(公告)号：US20070027907A1
公开(公告)日：2007-02-01
申请号：US11193690
申请日：2005-07-29
申请人： Dinesh Kulkarni , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Henricus Meijer , Peter Hallam
发明人： Dinesh Kulkarni , Anders Hejlsberg , Matthew Warren , Luca Bolognese , Henricus Meijer , Peter Hallam
IPC分类号： G06F17/00
CPC分类号： G06F8/24 , G06F8/30 , G06F8/65 , G06F17/30595 , G06F17/30607 , Y10S707/99931 , Y10S707/99943 , Y10S707/99944
摘要： The subject disclosure pertains to code generation patterns for use in object relational mapping. The code patterns may be used to manage bidirectional relationships and ensure consistency. The code patterns may support on-demand or deferred loading of relational data. Change detection and tracking are also provided. In addition, a default member modifier allows developers to override tool generated source code without directly modifying the generated source code.
摘要翻译：本发明涉及用于对象关系映射的代码生成模式。代码模式可用于管理双向关系并确保一致性。代码模式可以支持关系数据的按需或延迟加载。还提供了更改检测和跟踪。此外，默认成员修饰符允许开发人员覆盖工具生成的源代码，而无需直接修改生成的源代码。

10. 发明申请

US20070027906A1 Retrieving and persisting objects from/to relational databases 有权
标题翻译：从/到关系数据库检索和保存对象
公开(公告)号：US20070027906A1
公开(公告)日：2007-02-01
申请号：US11193574
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , Dinesh Kulkarni , Luca Bolognese , Matthew Warren , Peter Hallam
发明人： Henricus Meijer , Anders Hejlsberg , Dinesh Kulkarni , Luca Bolognese , Matthew Warren , Peter Hallam
IPC分类号： G06F17/00
CPC分类号： G06F17/30595 , G06F17/30607
摘要： Systems and methods that enable consistent navigation (for a database and memory environment) in object relational mapping. This typically ensures fidelity of object graph via restrictions on collections of persistent objects (e.g., entity sets, entity refs . . . ). Moreover, a tracking component can detect changes as they occur, and only a copy of the objects that have changed can be created, to optimize operation.
摘要翻译：在对象关系映射中实现一致导航（用于数据库和内存环境）的系统和方法。这通常通过对持久对象的集合（例如，实体集，实体参考）的限制来确保对象图的保真度。此外，跟踪组件可以检测到它们发生的变化，并且可以仅创建已经改变的对象的副本来优化操作。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式