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

1. 发明授权

US07730467B1 Object-oriented pull model XML parser 有权
标题翻译：面向对象的拉模型XML解析器
公开(公告)号：US07730467B1
公开(公告)日：2010-06-01
申请号：US11046979
申请日：2005-01-31
申请人： Anders Hejlsberg , Christopher J. Lovett , Matthew J. Warren , Chia-Hsun Chen , Mark W. Fussell , Neetu Rajpal
发明人： Anders Hejlsberg , Christopher J. Lovett , Matthew J. Warren , Chia-Hsun Chen , Mark W. Fussell , Neetu Rajpal
IPC分类号： G06F9/45
CPC分类号： G06F17/272 , G06F17/2247 , G06F17/2725
摘要： A system and method for parsing XML is provided. The method includes associating an input stream with a pull model parser, accepting requests to selectively parse out XML items from the input stream and retrieving metadata information associated with the parsed out XML items. The method further includes checking the pulled XML item to determine whether it conforms to XML syntax and/or semantic standards and validating the pulled XML item to determine whether it conforms to a selected DTD.
摘要翻译：提供了解析XML的系统和方法。该方法包括将输入流与拉模型解析器相关联，接受从输入流中选择性地解析出XML项的请求，并检索与解析出的XML项相关联的元数据信息。该方法还包括检查所拉出的XML项目以确定其是否符合XML语法和/或语义标准，并验证所拉出的XML项目以确定其是否符合选定的DTD。

2. 发明授权

US08555261B1 Object-oriented pull model XML parser 有权
标题翻译：面向对象的拉模型XML解析器
公开(公告)号：US08555261B1
公开(公告)日：2013-10-08
申请号：US09894331
申请日：2001-06-28
申请人： Anders Hejlsberg , Christopher J. Lovett , Matthew J. Warren , Chia-Hsun Chen , Mark W. Fussell , Neetu Rajpal
发明人： Anders Hejlsberg , Christopher J. Lovett , Matthew J. Warren , Chia-Hsun Chen , Mark W. Fussell , Neetu Rajpal
IPC分类号： G06F9/45
CPC分类号： G06F17/272 , G06F17/2247 , G06F17/2725
摘要： A system and method for parsing XML is provided. The method includes associating an input stream with a pull model parser, accepting requests to selectively parse out XML items from the input stream and retrieving metadata information associated with the parsed out XML items. The method further includes checking the pulled XML item to determine whether it conforms to XML syntax and/or semantic standards and validating the pulled XML item to determine whether it conforms to a selected DTD.
摘要翻译：提供了解析XML的系统和方法。该方法包括将输入流与拉模型解析器相关联，接受从输入流中选择性地解析出XML项的请求，并检索与解析的XML项相关联的元数据信息。该方法还包括检查所拉出的XML项目以确定其是否符合XML语法和/或语义标准，并验证所拉出的XML项目以确定其是否符合选定的DTD。

3. 发明授权

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.
摘要翻译：本文公开了采用结构子类型的类型系统。核心类型系统支持多种结构类型，如流，选择，交集和序列。核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。为了进一步促进类型安全，引入了严格的静态检查界面。

4. 发明授权

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.
摘要翻译：本文公开了采用结构子类型的类型系统。核心类型系统支持多种结构类型，如流，选择，交集和序列。核心类型系统的一部分是新的不变类型，它表示动态类型与其静态类型相同的值，以及限制基本类型范围的类型限制。此外，向类型系统介绍了一种简化的代表结构版本，称为结构代理及其验证方法。为了进一步促进类型安全，引入了严格的静态检查界面。

5. 发明授权

US07530080B2 Implementation of alias preserving structural subtyping with precise types using transparent adapters 有权
标题翻译：使用透明适配器实现使用精确类型保留结构子类型的别名
公开(公告)号：US07530080B2
公开(公告)日：2009-05-05
申请号：US10395973
申请日：2003-03-25
申请人： Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Erik Meijer , Christopher J. Lovett , Matthew J. Warren
发明人： Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Erik Meijer , Christopher J. Lovett , Matthew J. Warren
IPC分类号： G06F3/00 , G06F9/44 , G06F9/46 , G06F13/00
CPC分类号： G06F8/437
摘要： A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.
摘要翻译：公开了一种在标称类型运行时环境之上采用基于结构类型的编程语言的系统和方法。该系统使用适配器和强制子类型来实现精确打字，同时保留混叠。此外，该系统采用通用值表示来实现交叉装配类型等价。

6. 发明授权

US07441237B2 System and method for extending a compiler through a composer 有权
标题翻译：通过作曲家扩展编译器的系统和方法
公开(公告)号：US07441237B2
公开(公告)日：2008-10-21
申请号：US10396654
申请日：2003-03-25
申请人： Matthew J. Warren , Barend H. Venter , Wolfram Schulte , Erik Meijer , Christopher J. Lovett , Chia-Hsun Chen
发明人： Matthew J. Warren , Barend H. Venter , Wolfram Schulte , Erik Meijer , Christopher J. Lovett , Chia-Hsun Chen
IPC分类号： G06F9/44
CPC分类号： G06F8/41
摘要： A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to compiler add-ons in order to extend compiler capabilities. One or more composers can be accessible to the compilation process by reference(s) made in a source code file. For example, additional translation logic for data types and/or expressions (e.g., markup language) created after compiler design can be made accessible to a compiler via composer(s), thus extending the existing compiler. The present invention mitigates problems associated with conventional compiler extending schemes and affords for compile code optimization without having to consider substantially all of the operations of a single query.
摘要翻译：提供了一种用于通过编辑器将附加翻译逻辑连接到编译器以扩展编译器的能力的系统和方法。通常，作曲家可以是为编译器附加组件提供组件化和多态性的使用，以扩展编译器功能的软件库。一个或多个作曲家可以通过源代码文件中的引用来访问编译过程。例如，编译器设计后创建的数据类型和/或表达式（例如，标记语言）的附加翻译逻辑可以通过编辑器使编译器可访问，从而扩展现有的编译器。本发明减轻了与常规编译器扩展方案相关的问题，并提供了编译代码优化，而不必基本上考虑单个查询的所有操作。

7. 发明授权

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

8. 发明授权

US07899840B2 Group joins to navigate data relationships 有权
标题翻译：组联接以导航数据关系
公开(公告)号：US07899840B2
公开(公告)日：2011-03-01
申请号：US11693136
申请日：2007-03-29
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Dinesh Chandrakant Kulkarni , Matthew J. Warren , Mads Torgersen
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Dinesh Chandrakant Kulkarni , Matthew J. Warren , Mads Torgersen
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06F17/30412 , G06F17/30466 , G06F17/30498
摘要： A group join query facilitates navigation of relationships (e.g., one-to-many or many-to-one) across a plurality of data collections. Such a query operator produces nested or hierarchical results that capture the arguments passed thereto. If desired, the nested results can be flattened to simulate conventional relational database results.
摘要翻译：群组加入查询有助于跨多个数据集合的关系（例如，一对多或多对一）的导航。这样的查询运算符产生嵌套或分层结果，捕获传递给它的参数。如果需要，嵌套的结果可以被平坦化以模拟传统的关系数据库结果。

9. 发明授权

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.
摘要翻译：对象关系映射机制有助于定制关系遍历。该机制可以覆盖例如由程序员指定的定制功能（例如，加载加载，延迟加载等）的默认加载行为。换句话说，对象关系映射机制包括用于定制的可扩展点或挂钩。

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

热门服务

关于我们

友情链接

联系方式