公开(公告)号：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.

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

公开(公告)号：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.

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

公开(公告)号：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.

摘要翻译： 公开了一种在标称类型运行时环境之上采用基于结构类型的编程语言的系统和方法。 该系统使用适配器和强制子类型来实现精确打字，同时保留混叠。 此外，该系统采用通用值表示来实现交叉装配类型等价。

公开(公告)号：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.

摘要翻译： 提供了一种用于通过编辑器将附加翻译逻辑连接到编译器以扩展编译器的能力的系统和方法。 通常，作曲家可以是为编译器附加组件提供组件化和多态性的使用，以扩展编译器功能的软件库。 一个或多个作曲家可以通过源代码文件中的引用来访问编译过程。 例如，编译器设计后创建的数据类型和/或表达式（例如，标记语言）的附加翻译逻辑可以通过编辑器使编译器可访问，从而扩展现有的编译器。 本发明减轻了与常规编译器扩展方案相关的问题，并提供了编译代码优化，而不必基本上考虑单个查询的所有操作。

公开(公告)号：US20080313609A1

公开(公告)日：2008-12-18

申请号：US12139712

申请日：2008-06-16

申请人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

发明人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

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.

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

公开(公告)号：US20080306617A1

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

申请号：US12139693

申请日：2008-06-16

申请人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

发明人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

IPC分类号： G06F17/00

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.

公开(公告)号：US07389498B2

公开(公告)日：2008-06-17

申请号：US10396066

申请日：2003-03-25

申请人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

发明人： Erik Meijer ,  Wolfram Schulte ,  Barend H. Venter ,  Chia-Hsun Chen ,  Christopher J. Lovett ,  Matthew J. Wararen

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.

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

公开(公告)号：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。

公开(公告)号：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。

公开(公告)号：US20080216052A1

公开(公告)日：2008-09-04

申请号：US11622836

申请日：2007-01-12

申请人： Anders Hejlsberg ,  Daniel Dedu-Constantin ,  Erik B. Christensen ,  Keith W. Ballinger ,  Mark W. Fussell ,  Neetu Rajpal ,  Nithyalakshmi Sampathkumar ,  Omri Gazitt ,  Stefan H. Pharies ,  William A. Adams ,  Yan Leshinsky ,  Chia-Hsun Chen ,  Christopher J. Lovett

发明人： Anders Hejlsberg ,  Daniel Dedu-Constantin ,  Erik B. Christensen ,  Keith W. Ballinger ,  Mark W. Fussell ,  Neetu Rajpal ,  Nithyalakshmi Sampathkumar ,  Omri Gazitt ,  Stefan H. Pharies ,  William A. Adams ,  Yan Leshinsky ,  Chia-Hsun Chen ,  Christopher J. Lovett

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F9/44 ,  G06F9/4488

摘要： An application program interface (API) provides a set of functions that make available support for processing XML documents for application developers who build Web applications on Microsoft Corporation's .NET™ platform.

摘要翻译： 应用程序接口（API）提供了一组功能，可以为在Microsoft Corporation的.NET（TM）平台上构建Web应用程序的应用程序开发人员处理XML文档提供支持。