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

31. 发明授权

US08275731B2 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方法的标称类。在同一方法中存在匿名类型的等价物，并将未实现的结构类型转换为结构兼容的名义类型。

32. 发明申请

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

33. 发明申请

US20100175048A1 ARCHITECTURE THAT EXTENDS TYPES USING EXTENSION METHODS 有权
标题翻译：使用扩展方法扩展类型的架构
公开(公告)号：US20100175048A1
公开(公告)日：2010-07-08
申请号：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会在命名空间中的所有静态类中导入所有扩展方法。实际上，导入的扩展方法在其第一个参数给出的类型上显示为附加方法，并且具有比常规实例方法更低的优先级。

34. 发明授权

US07694274B2 Dynamically typed unsafe variance 有权
标题翻译：动态类型不安全差异
公开(公告)号：US07694274B2
公开(公告)日：2010-04-06
申请号：US11193692
申请日：2005-07-29
申请人： Erik Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger
发明人： Erik Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F9/44589 , G06F9/45516
摘要： A program execution engine that facilitates generic type variance verification is provided. The execution engine receives a program executable in the form of intermediate language (IL). The program executable can be based on code that includes expression(s) with generic type(s) which have been identified as requiring variance verification (e.g., covariance and/or contra-variance). The execution engine includes a variance verification component that dynamically determines whether value(s) associated with the generic type(s) identified as requiring variance verification comply with the particular variance verification requirement. The variance verification component can provide error information (e.g., throw an exception), if the specified variance is not safely compliant. Variance verification can be based on static checking which places the burden on a source language compiler to emit the run-time checks in intermediate language (IL), if run-time checked variance is required. Additionally, language(s) that do not support variance can treat generic type(s) as non-variant.
摘要翻译：提供了促进通用类型方差验证的程序执行引擎。执行引擎以中间语言（IL）的形式接收可执行的程序。程序可执行程序可以基于包括已经被识别为需要方差验证（例如协方差和/或反差）的通用类型的表达式的代码。执行引擎包括方差验证组件，其动态地确定与被识别为需要方差验证的通用类型相关联的值是否符合特定方差验证要求。方差验证组件可以提供错误信息（例如，抛出异常），如果指定的方差不能安全地符合。方差验证可以基于静态检查，如果需要运行时检查方差，那么将源语言编译器的负担放在中间语言（IL）中发出运行时检查。另外，不支持差异的语言可以将通用类型视为非变体。

35. 发明申请

US20090319496A1 DATA QUERY TRANSLATING INTO MIXED LANGUAGE DATA QUERIES 有权
标题翻译：数据查询翻译成混合语言数据查询
公开(公告)号：US20090319496A1
公开(公告)日：2009-12-24
申请号：US12144630
申请日：2008-06-24
申请人： Matthew J. Warren , Anders Hejlsberg , Ion Vasilian , Erik Meijer , Dinesh C. Kulkarni
发明人： Matthew J. Warren , Anders Hejlsberg , Ion Vasilian , Erik Meijer , Dinesh C. Kulkarni
IPC分类号： G06F7/06 , G06F17/30
CPC分类号： G06F17/30451 , G06F17/30427
摘要： Data source queries may be specified in various languages, such as SQL, XQuery, and object-oriented languages, and each language may have various linguistic features that enable different types of queries. It may be advantageous to formulate mixed language queries having portions specified in a first language and portions specified in a second language, and to provide mixed language query evaluation components that can parse portions of queries of different languages. It may also be advantageous to permit the translation of single language queries into multiple languages to be parsed by such mixed language query evaluation components. Such techniques may permit queries to utilize linguistic features and processing techniques of one language that are less efficient, less direct, or simply unavailable in another language.
摘要翻译：数据源查询可以用各种语言来指定，例如SQL，XQuery和面向对象的语言，并且每个语言可以具有各种各样的语言特征，从而实现不同类型的查询。制定具有以第一语言指定的部分和以第二语言指定的部分的混合语言查询可能是有利的，并且提供可以解析部分不同语言的查询的混合语言查询评估组件。允许将单个语言查询转换成由这种混合语言查询评估组件解析的多种语言也是有利的。这样的技术可以允许查询利用一种语言的语言特征和处理技术，该语言特征和处理技术在另一种语言中效率较低，较不直接或者简单地不可用。

36. 发明授权

US07631011B2 Code generation patterns 有权
标题翻译：代码生成模式
公开(公告)号：US07631011B2
公开(公告)日：2009-12-08
申请号：US11193690
申请日：2005-07-29
申请人： Dinesh Chandrakant Kulkarni , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Henricus Johannes Maria Meijer , Peter A. Hallam
发明人： Dinesh Chandrakant Kulkarni , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Henricus Johannes Maria Meijer , Peter A. Hallam
IPC分类号： G06F17/30
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.
摘要翻译：本发明涉及用于对象关系映射的代码生成模式。代码模式可用于管理双向关系并确保一致性。代码模式可以支持关系数据的按需或延迟加载。还提供了更改检测和跟踪。此外，默认成员修饰符允许开发人员覆盖工具生成的源代码，而无需直接修改生成的源代码。

37. 发明授权

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会在命名空间中的所有静态类中导入所有扩展方法。实际上，导入的扩展方法在其第一个参数给出的类型上显示为附加方法，并且具有比常规实例方法更低的优先级。

38. 发明授权

US08112740B2 Core object-oriented type system for semi-structured data 有权
标题翻译：用于半结构化数据的核心面向对象类型系统
公开(公告)号：US08112740B2
公开(公告)日：2012-02-07
申请号：US12139693
申请日：2008-06-16
申请人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
发明人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
IPC分类号： G06F9/44
CPC分类号： G06F8/437
摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译：本文公开了采用结构子类型的类型系统。核心类型系统支持多种结构类型，如流，选择，交集和序列。核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。为了进一步促进类型安全，引入了严格的静态检查界面。

39. 发明授权

US08060859B2 Core object-oriented type system for semi-structured data 有权
标题翻译：用于半结构化数据的核心面向对象类型系统
公开(公告)号：US08060859B2
公开(公告)日：2011-11-15
申请号：US12139712
申请日：2008-06-16
申请人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
发明人： Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/437
摘要： A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译：本文公开了采用结构子类型的类型系统。核心类型系统支持多种结构类型，如流，选择，交集和序列。核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。为了进一步促进类型安全，引入了严格的静态检查界面。

40. 发明授权

US07788275B2 Customization of relationship traversal 有权
标题翻译：关系遍历的定制
公开(公告)号：US07788275B2
公开(公告)日：2010-08-31
申请号：US11857366
申请日：2007-09-18
申请人： Matthew J. Warren , Dinesh C. Kulkarni , Anders Hejlsberg , Henricus Johannes Maria Meijer
发明人： Matthew J. Warren , Dinesh C. Kulkarni , Anders Hejlsberg , Henricus Johannes Maria Meijer
IPC分类号： G06F7/00
CPC分类号： G06F17/30607 , G06F17/30595
摘要： An object-relational mapping mechanism facilitates customized relationship traversal. The mechanism can override default loading behavior with custom functionality (e.g., eager loading, lazy loading . . . ) specified by a programmer, for example. In other words, the object-relational mapping mechanism includes an extensibility point or hook for customization.
摘要翻译：对象关系映射机制有助于定制关系遍历。该机制可以覆盖例如由程序员指定的定制功能（例如，加载加载，延迟加载等）的默认加载行为。换句话说，对象关系映射机制包括用于定制的可扩展点或挂钩。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式