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

1. 发明授权

US07716656B2 Nullable and late binding 失效
标题翻译：可疑和晚期绑定
公开(公告)号：US07716656B2
公开(公告)日：2010-05-11
申请号：US11215178
申请日：2005-08-30
申请人： Henricus Johannes Maria Meijer , Amanda Silver , Brian C. Beckman , Paul A. Vick , Avner Y. Aharoni , David N. Schach , Peter F. Drayton
发明人： Henricus Johannes Maria Meijer , Amanda Silver , Brian C. Beckman , Paul A. Vick , Avner Y. Aharoni , David N. Schach , Peter F. Drayton
IPC分类号： G06F9/45
CPC分类号： G06F8/31
摘要： Systems and methods that enhance a programming language by introducing null unification on a type level in addition to a value level, for static types of both reference and value types T. An operator that adds a level of nullability (and removes such nullability) is introduced without a mention of the actual type, to steer overloading in a precise manner.
摘要翻译：引入了一个编程语言的系统和方法，通过在类型级别上引入空值统一，除了值级别之外，还引用了引用和值类型T的静态类型。引入了可空性级别（并消除了这种可空性）的操作符被引入没有提到实际的类型，以精确的方式引导超载。

2. 发明申请

US20080189277A1 QUERY PATTERN TO ENABLE TYPE FLOW OF ELEMENT TYPES 有权
标题翻译：查询模式以启用元素类型流程
公开(公告)号：US20080189277A1
公开(公告)日：2008-08-07
申请号：US11671414
申请日：2007-02-05
申请人： Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick , Eugueni Zabokritski , Aleksey V. Tsingauz
发明人： Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick , Eugueni Zabokritski , Aleksey V. Tsingauz
IPC分类号： G06F17/30
CPC分类号： G06F17/30392 , G06F17/3041
摘要： The claimed subject matter relates to a formalization of operator patterns that can facilitate type flow of element types between an operator in a first clause of an expression to an operator in a next clause of the expression. The type that flows to, and the operator extant in, the next clause can be combined to infer the element type of the next clause. As such, type-checking, autocompletion and other advantageous features can be accomplished incrementally without the need for a prior full translation of the expression.
摘要翻译：所要求保护的主题涉及运算符模式的形式化，其可以促进表达式的第一个子句中的运算符与表达式的下一个子句中的运算符之间的元素类型的流动。可以将流入的类型和下一个子句中的操作符存在，以推断下一个子句的元素类型。因此，可以增量地实现类型检查，自动完成和其他有利特征，而不需要对表达式的先前的全面翻译。

3. 发明授权

US08479178B2 Compiler in a managed application context 有权
标题翻译：编译器在托管应用程序上下文中
公开(公告)号：US08479178B2
公开(公告)日：2013-07-02
申请号：US12163763
申请日：2008-06-27
申请人： Avner Y. Aharoni , Henricus Johannes Maria Meijer , Timothy Yat Tim Ng , Amanda K. Silver , Scott Daniel Wisniewski , Kevin Wagner Halverson , David N. Schach , Aleksey V. Tsingauz , Paul A. Vick
发明人： Avner Y. Aharoni , Henricus Johannes Maria Meijer , Timothy Yat Tim Ng , Amanda K. Silver , Scott Daniel Wisniewski , Kevin Wagner Halverson , David N. Schach , Aleksey V. Tsingauz , Paul A. Vick
IPC分类号： G06F9/45 , G06F9/445
CPC分类号： G06F9/45516
摘要： A batch compiler is employed to enable compilation of code provided at runtime. A managed application receives code during execution and invokes the compiler to transform the code to enable it to execute within the context of the receiving application. Among other things, employment of a batch compiler preserves investments made to such compilers while also opening up new scenarios in application scripting and/or hosting that are otherwise unavailable.
摘要翻译：使用批处理编译器来实现在运行时提供的代码的编译。托管应用程序在执行期间接收代码，并调用编译器来转换代码，使其能够在接收应用程序的上下文中执行。除了别的以外，批处理编译器的使用保留对这些编译器的投资，同时也开启了应用程序脚本编写和/或托管的新情况，否则不可用。

4. 发明授权

US08473971B2 Type inference and type-directed late binding 有权
标题翻译：类型推断和类型导向晚期绑定
公开(公告)号：US08473971B2
公开(公告)日：2013-06-25
申请号：US11220167
申请日：2005-09-06
申请人： Henricus Johannes Maria Meijer , Brian C. Beckman , David N. Schach , Amanda Silver , Paul A. Vick , Peter F. Drayton , Avner Y. Aharoni , Ralf Lammel
发明人： Henricus Johannes Maria Meijer , Brian C. Beckman , David N. Schach , Amanda Silver , Paul A. Vick , Peter F. Drayton , Avner Y. Aharoni , Ralf Lammel
IPC分类号： G06F13/00 , G06F9/45 , G06F9/44
CPC分类号： G06F8/31 , G06F9/449
摘要： Systems and methods that enhance and balance a late binding and an early binding in a programming language, via supplying an option component to opt-in (or opt-out) late binding, and wherein a late binding is triggered based on a static type for the variable (e.g., object or a type/string.) Additionally, the variable is enabled to have different static types at different regions (e.g., a program fragment) of the programming language.
摘要翻译：通过提供选项组件来选择（或选择退出）后期绑定，增强和平衡编程语言中的后期绑定和早期绑定的系统和方法，并且其中基于静态类型触发后期绑定变量（例如，对象或类型/字符串）。此外，变量可以在编程语言的不同区域（例如，程序片段）中具有不同的静态类型。

5. 发明授权

US07779397B2 Data interfaces 有权
标题翻译：数据接口
公开(公告)号：US07779397B2
公开(公告)日：2010-08-17
申请号：US11214404
申请日：2005-08-29
申请人： Henricus Johannes Maria Meijer , Amanda Silver , Paul A. Vick , Brian C. Beckman
发明人： Henricus Johannes Maria Meijer , Amanda Silver , Paul A. Vick , Brian C. 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.
摘要翻译：用于访问以计算机可读格式存储的数据的计算机实现的系统包括识别待键入的数据源的最少一个数据的数据源指示符。所述系统还包括定义所述至少一个基准的强类型视图的类型定义组件。还提供了使用该系统的方法。

6. 发明申请

US20090328013A1 COMPONENTIZATION OF COMPILER FUNCTIONALITY 有权
标题翻译：编译功能的组合
公开(公告)号：US20090328013A1
公开(公告)日：2009-12-31
申请号：US12163772
申请日：2008-06-27
申请人： Avner Y. Aharoni , Henricus Johannes Maria Meijer , Timothy Yat Tim Ng , Amanda K. Silver , Paul A. Vick , Scott Daniel Wisniewski
发明人： Avner Y. Aharoni , Henricus Johannes Maria Meijer , Timothy Yat Tim Ng , Amanda K. Silver , Paul A. Vick , Scott Daniel Wisniewski
IPC分类号： G06F9/45
CPC分类号： G06F8/41 , G06F8/443 , G06F8/447 , G06F9/45504 , G06F9/45516
摘要： Compiler functionality is componentized to enable use across different contexts. Conventionally tightly coupled functionality is decoupled and an interface afforded to facilitate interaction with compiler components/subcomponents in various scenarios. In one instance, compiler components can be employed across compile time and runtime. Compile time functionality can be employed at runtime and runtime functionality utilized at compile time thereby blurring the line between time dimensions.
摘要翻译：编译器功能是组件化的，可以在不同的上下文中使用。常规紧密耦合的功能被解耦，并提供了一个接口，以便于在各种场景下与编译器组件/子组件进行交互。在一个实例中，可以在编译时和运行时间间采用编译器组件。可以在运行时使用编译时间功能，并在编译时使用运行时功能，从而模糊时间维之间的界限。

7. 发明申请

US20090144229A1 STATIC QUERY OPTIMIZATION FOR LINQ 审中-公开
标题翻译： LINQ的静态查询优化
公开(公告)号：US20090144229A1
公开(公告)日：2009-06-04
申请号：US11948078
申请日：2007-11-30
申请人： Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick , Aleksey V. Tsingauz
发明人： Henricus Johannes Maria Meijer , Amanda K. Silver , Paul A. Vick , Aleksey V. Tsingauz
IPC分类号： G06F7/06
CPC分类号： G06F16/90335 , G06F16/24526 , G06F16/24534
摘要： Systems and methods that optimize query translations at compile time in LINQ languages. An optimization component optimizes algebraic trees and rewrites an expression composed from sequence operators into a more efficient expression(s). A compiler associated with the optimization component can receive syntax (e.g., query comprehensions, query expressions) to turn into standard sequence operators that can operate on arbitrary collections. The compiler can then perform transformations on the algebraic trees, such as push filter conditions upwards or downwards and/or to combine filter conditions.
摘要翻译：在LINQ语言编译时优化查询翻译的系统和方法。优化组件优化代数树，并将由序列运算符组成的表达式重写为更有效的表达式。与优化组件相关联的编译器可以接收语法（例如，查询推导，查询表达式）以变成可以对任意集合进行操作的标准序列运算符。然后，编译器可以对代数树进行转换，例如向上或向下推送过滤条件和/或组合过滤条件。

8. 发明授权

US09170787B2 Componentization of compiler functionality 有权
标题翻译：编译器功能的组件化
公开(公告)号：US09170787B2
公开(公告)日：2015-10-27
申请号：US12163772
申请日：2008-06-27
申请人： Avner Y. Aharoni , Henricus Johannes Maria Meijer , Timothy Yat Tim Ng , Amanda K. Silver , Paul A. Vick , Scott Daniel Wisniewski
发明人： Avner Y. Aharoni , Henricus Johannes Maria Meijer , Timothy Yat Tim Ng , Amanda K. Silver , Paul A. Vick , Scott Daniel Wisniewski
IPC分类号： G06F9/45 , G06F9/455
CPC分类号： G06F8/41 , G06F8/443 , G06F8/447 , G06F9/45504 , G06F9/45516
摘要： Compiler functionality is componentized to enable use across different contexts. Conventionally tightly coupled functionality is decoupled and an interface afforded to facilitate interaction with compiler components/subcomponents in various scenarios. In one instance, compiler components can be employed across compile time and runtime. Compile time functionality can be employed at runtime and runtime functionality utilized at compile time thereby blurring the line between time dimensions.
摘要翻译：编译器功能是组件化的，以便在不同的上下文中使用。常规紧密耦合的功能被解耦，并提供了一个接口，以便于在各种场景下与编译器组件/子组件进行交互。在一个实例中，可以在编译时和运行时间间采用编译器组件。可以在运行时使用编译时间功能，并在编译时使用运行时功能，从而模糊时间维之间的界限。

9. 发明授权

US07945904B2 Embedding expression in XML literals 有权
标题翻译：在XML文字中嵌入表达式
公开(公告)号：US07945904B2
公开(公告)日：2011-05-17
申请号：US11209067
申请日：2005-08-22
申请人： Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton , Brian C. Beckman , Amanda Silver , Paul A. Vick
发明人： Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton , Brian C. Beckman , Amanda Silver , Paul A. Vick
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F17/2247 , G06F8/41 , G06F17/272
摘要： An architecture that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture facilitates a convenient short cut by replacing the complex explicit construction required by conventional systems to create an instance of a DOM with a concise XML literal for which conventional compilers can translate into the appropriate code. The architecture allows these XML literals to be embedded with expressions, statement blocks or namespaces to further enrich the power and versatility. In accordance therewith, context information describing the position and data types that an XML DOM can accept can be provided to the programmer via, for example, an integrated development environment. Additionally, the architecture supports escaping XML identifiers, a reification mechanism, and a conversion mechanism to convert between collections and singletons.
摘要翻译：将传统计算机编程语言扩展到可扩展标记语言（XML）文档对象模型（DOM）的实例的体系结构，以便为底层编程语言中的XML文字提供支持。该架构通过替代传统系统所需的复杂显式构造来简化方便的快捷操作，以创建具有简洁XML文字的DOM实例，常规编译器可将其转换为适当的代码。该架构允许这些XML文字嵌入表达式，语句块或命名空间，以进一步丰富功能和多功能性。根据此，可以通过例如集成开发环境向程序员提供描述XML DOM可以接受的位置和数据类型的上下文信息。另外，该架构支持转义XML标识符，一个验证机制，以及一个在集合和单例之间进行转换的转换机制。

10. 发明授权

US07873592B2 Type inference for object-oriented languages 有权
标题翻译：类型推理面向对象语言
公开(公告)号：US07873592B2
公开(公告)日：2011-01-18
申请号：US11737892
申请日：2007-04-20
申请人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
IPC分类号： G06F9/44 , G06N7/02 , G06N7/06
CPC分类号： G06F9/4488
摘要： Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译：系统和方法便于计算机编程环境中的类型推断。类型推断可以应用于面向对象语言中的泛型方法或函数调用，以确定程序员隐藏的类型参数列表。一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式