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

11. 发明申请

US20070038985A1 Syntactic program language translation 有权
标题翻译：语法程序语言翻译
公开(公告)号：US20070038985A1
公开(公告)日：2007-02-15
申请号：US11200911
申请日：2005-08-10
申请人： Henricus Meijer , Avner Aharoni , Haroon Ahmed , Todd Pfleiger
发明人： Henricus Meijer , Avner Aharoni , Haroon Ahmed , Todd Pfleiger
IPC分类号： G06F9/45
CPC分类号： G06F8/51
摘要： The subject disclosure pertains to computer programming languages and translation or conversion thereof. Rather than a complicated semantics preserving translation or conversion from a first source language to a second target language, the conversion can be one of syntax. The conversion can be accomplished, for example, via employment of a map that defines the relation between the syntax of the first language and the second language. The semantics of at least a part of the first language can be defined by the second target language. Thus, the first language can be open-ended and/or semantically extensible based on the second language.
摘要翻译：本发明涉及计算机编程语言及其翻译或转换。而不是从第一源语言到第二目标语言的复杂语义保留翻译或转换，转换可以是语法之一。该转换可以例如通过使用定义第一语言和第二语言的语法之间的关系的映射来实现。第一语言的至少一部分的语义可以由第二目标语言定义。因此，基于第二语言，第一语言可以是开放的和/或语义可扩展的。

12. 发明申请

US20070055962A1 Anonymous types 失效
标题翻译：匿名类型
公开(公告)号：US20070055962A1
公开(公告)日：2007-03-08
申请号：US11219256
申请日：2005-09-02
申请人： Henricus Meijer , Brian Beckman , Paul Vick , Amanda Silver
发明人： Henricus Meijer , Brian Beckman , Paul Vick , Amanda Silver
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： A computer-implemented system for representing data comprises a position indicator that indicates a position of a datum within a group, a name indicator that optionally names the datum, and a value of the datum. A type to be assigned to the datum is derived from at least one of a name of the datum and the position of the datum within the group. Methods of using the system are also provided.
摘要翻译：用于表示数据的计算机实现的系统包括指示组内的数据的位置的位置指示符，可选地命名数据的名称指示符和基准的值。要分配给基准的类型从基准的名称和组内基准的位置中的至少一个派生。还提供了使用该系统的方法。

13. 发明申请

US20070074162A1 Readers and scanner design pattern 有权
标题翻译：读者和扫描仪设计模式
公开(公告)号：US20070074162A1
公开(公告)日：2007-03-29
申请号：US11214716
申请日：2005-08-30
申请人： Henricus Meijer , Paul Vick , Amanda Silver , Chris Suver
发明人： Henricus Meijer , Paul Vick , Amanda Silver , Chris Suver
IPC分类号： G06F9/44
CPC分类号： G06F8/24 , G06F9/4488 , Y10S707/99944
摘要： An object-oriented interface for providing access to stored data comprises a data enumeration module that provides an object-oriented view to at least one stored first datum that is not an object created by the interface. The interface also includes a scanning module that cooperates with the data enumeration module to change the view from the stored first datum to another datum. Methods for using the interface are also provided.
摘要翻译：用于提供对存储数据的访问的面向对象的接口包括数据枚举模块，其向至少一个存储的第一数据提供面向对象的视图，该第一数据不是由该接口创建的对象。该接口还包括与数据枚举模块配合的扫描模块，以将视图从存储的第一数据改变为另一个数据。还提供了使用接口的方法。

14. 发明申请

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表达式可以参与类型推断和检查以及重载分辨率等等。

15. 发明申请

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

16. 发明申请

US20070028163A1 Lightweight application program interface (API) for extensible markup language (XML) 有权
标题翻译：用于可扩展标记语言（XML）的轻量级应用程序接口（API）
公开(公告)号：US20070028163A1
公开(公告)日：2007-02-01
申请号：US11193567
申请日：2005-07-29
申请人： Henricus Meijer , Anders Hejlsberg , David Remy , Arpan Desai , Asad Jawahar , Andrew Kimball , Donald Box
发明人： Henricus Meijer , Anders Hejlsberg , David Remy , Arpan Desai , Asad Jawahar , Andrew Kimball , Donald Box
IPC分类号： G06F17/24
CPC分类号： G06F17/2247 , G06F17/30932
摘要： An architecture that leverages support for markup language operations, e.g., extensible markup language (XML) queries, via a lightweight application program interface (API). The API defines an object model that can simplify construction of XML values in languages that do not natively support XML. The novel aspects of the described innovation can enable query languages to be factored into general operations (e.g., mapping, filtering, sorting, and/or projection of functions) on collections on one hand, and a set of domain specific operations (e.g., navigation, construction and modification) on the elements of these collections on another hand. The subject API can support creation of XML data that is node centric (e.g., context-free). Accordingly, nodes do not have to be constructed within the context of a document. Additionally, aspects can enable expression-oriented interface mechanisms as opposed to the imperative statement-oriented style interfaces used in connection with traditional interface mechanisms (e.g., DOM).
摘要翻译：通过轻量级应用程序接口（API）利用支持标记语言操作（例如可扩展标记语言（XML）查询）的体系结构。 API定义了一个对象模型，可以简化XML本身不支持XML的语言的构造。所描述的创新的新颖方面可以使查询语言能够一方面被视为一般操作（例如，功能的映射，过滤，排序和/或投影），以及一组特定于领域的操作（例如，导航，建设和修改）另一方面对这些收藏品的要素。主题API可以支持以节点为中心（例如，无上下文）创建XML数据。因此，节点不必在文档的上下文中构建。另外，方面可以实现面向表达式的接口机制，而不是与传统接口机制（例如，DOM）结合使用的面向语句的风格接口。

17. 发明申请

US20060150146A1 Static inheritance systems and methods 有权
标题翻译：静态继承系统和方法
公开(公告)号：US20060150146A1
公开(公告)日：2006-07-06
申请号：US11012409
申请日：2004-12-15
申请人： Henricus Meijer , Sergey Dubinets , Yan Leshinsky , Evgeny Veselov
发明人： Henricus Meijer , Sergey Dubinets , Yan Leshinsky , Evgeny Veselov
IPC分类号： G06F9/44
CPC分类号： G06F9/4492
摘要： The subject invention pertains to a system and method of extending programming languages to enable static inheritance. In particular, static subclasses can be defined which extend class functionality and/or behaviors without extending base class state. The subclasses can be specified to include static fields as well as static or instance methods and/or properties that provide a more specific interpretation of an object without extending the state thereof. Furthermore, a static subclass can be specified to provide for type aliasing. Casting is also enabled in both directions between base class type and derived class type in a convenient manner without run-time performance penalties. According to one aspect of the invention, the disclosed systems and methods can be employed to create specific programmatic context, for instance for accessing, manipulating, and type checking external data (e.g., XML).
摘要翻译：本发明涉及一种扩展编程语言以实现静态继承的系统和方法。特别地，可以定义静态子类，其扩展类功能和/或行为，而不扩展基类状态。子类可以指定为包括静态字段以及静态或实例方法和/或属性，可以在不扩展对象的状态的情况下提供对对象的更具体的解释。此外，可以指定静态子类来提供类型别名。在方便的方式下，也可以在基类类型和派生类类型之间的两个方向上启用转换，而无需运行时性能损失。根据本发明的一个方面，所公开的系统和方法可用于创建特定的编程上下文，例如用于访问，操纵和类型检查外部数据（例如，XML）。

18. 发明申请

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.
摘要翻译：本发明公开了一种用于指定和编译计算机程序的改进的系统和方法。引入类型别名，其编译期间由类型推断组件推断其绑定。一旦声明，类别别可以像常规类型一样使用，从而提高编码的效率等等。另外，公开了一种用于指定引入类型被推断的新变量的机制。这种机制在关于是推断新的变量类型还是在范围中使用变量的类型推理中清除了歧义。此外，公开了一种有效的类型推理系统和方法，以有效地处理超负荷等。

19. 发明申请

US20070094647A1 Data interfaces 有权
标题翻译：数据接口
公开(公告)号：US20070094647A1
公开(公告)日：2007-04-26
申请号：US11214404
申请日：2005-08-29
申请人： Henricus Meijer , Amanda Silver , Paul Vick , Brian Beckman
发明人： Henricus Meijer , Amanda Silver , Paul Vick , Brian Beckman
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/44
摘要： A computer-implemented system for accessing data stored in a computer-readable format comprises a data source indicator that identifies least one datum of a data source to be typed. The system also includes a type definition component that defines a strongly typed view of the at least one datum. Methods of using the system are also provided.
摘要翻译：用于访问以计算机可读格式存储的数据的计算机实现的系统包括识别待键入的数据源的最少一个数据的数据源指示符。该系统还包括定义至少一个基准的强类型视图的类型定义组件。还提供了使用该系统的方法。

20. 发明申请

US20070050168A1 Type extensions 失效
标题翻译：输入扩展名
公开(公告)号：US20070050168A1
公开(公告)日：2007-03-01
申请号：US11214424
申请日：2005-08-29
申请人： Henricus Meijer , Paul Vick , Brian Beckman , Amanda Silver
发明人： Henricus Meijer , Paul Vick , Brian Beckman , Amanda Silver
IPC分类号： G01R27/28
CPC分类号： G06F9/4492
摘要： A system for extending data types in software comprises an extension unit that modifies an arbitrary preexisting base data type, the preexisting base data type having at least one member. The system also includes a supplemental member that is included with the extension unit and that provides additional functionality to the preexisting base type. Methods for using the system are also provided.
摘要翻译：用于以软件扩展数据类型的系统包括修改任意的预先存在的基本数据类型的扩展单元，预先存在的基本数据类型具有至少一个成员。该系统还包括扩展单元附带的补充成员，并为预先存在的基本类型提供附加功能。还提供了使用该系统的方法。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式