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

1. 发明授权

US07694285B2 Relaxed and extended delegates 失效
标题翻译：放松和扩展的代表
公开(公告)号：US07694285B2
公开(公告)日：2010-04-06
申请号：US11214701
申请日：2005-08-30
申请人： Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
发明人： Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/31
摘要： Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without changing the runtime infrastructure. A stub is employed that can replace an impermissible expression in the programming language, to leverage the existing permissible expressions.
摘要翻译：通过放松人为限制和与之相关联的委托的扩展来增强编程语言（例如，Visual Basic）中的表达性的系统和方法，而不改变运行时基础设施。使用一个可以替代编程语言中不允许的表达式的存根，以利用现有的允许表达式。

2. 发明授权

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.
摘要翻译：通过提供选项组件来选择（或选择退出）后期绑定，增强和平衡编程语言中的后期绑定和早期绑定的系统和方法，并且其中基于静态类型触发后期绑定变量（例如，对象或类型/字符串）。此外，变量可以在编程语言的不同区域（例如，程序片段）中具有不同的静态类型。

3. 发明授权

US08473932B2 Relaxed and extended delegates 有权
标题翻译：放松和扩展的代表
公开(公告)号：US08473932B2
公开(公告)日：2013-06-25
申请号：US12715253
申请日：2010-03-01
申请人： Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
发明人： Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/31
摘要： Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without changing the runtime infrastructure. A stub is employed that can replace an impermissible expression in the programming language, to leverage the existing permissible expressions.
摘要翻译：通过放松人为限制和与之相关联的委托的扩展来增强编程语言（例如，Visual Basic）中的表达性的系统和方法，而不改变运行时基础设施。使用一个可以替代编程语言中不允许的表达式的存根，以利用现有的允许表达式。

4. 发明申请

US20100162218A1 RELAXED AND EXTENDED DELEGATES 有权
标题翻译：放松和扩大的代表
公开(公告)号：US20100162218A1
公开(公告)日：2010-06-24
申请号：US12715253
申请日：2010-03-01
申请人： Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
发明人： Henricus Johannes Maria Meijer , Brian C. Beckman , Peter F. Drayton , David N. Schach , Ralf Lammel , Avner Y. Aharoni
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/31
摘要： Systems and methods that enhance expressibility in a programming language (e.g., Visual Basic) via relaxation of artificial restrictions and extension of delegates associated therewith, without changing the runtime infrastructure. A stub is employed that can replace an impermissible expression in the programming language, to leverage the existing permissible expressions.
摘要翻译：通过放松人为限制和与之相关联的委托的扩展来增强编程语言（例如，Visual Basic）中的表达性的系统和方法，而不改变运行时基础设施。使用一个可以替代编程语言中不允许的表达式的存根，以利用现有的允许表达式。

5. 发明授权

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的静态类型。引入了可空性级别（并消除了这种可空性）的操作符被引入没有提到实际的类型，以精确的方式引导超载。

6. 发明授权

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标识符，一个验证机制，以及一个在集合和单例之间进行转换的转换机制。

7. 发明授权

US08533693B2 Embedding expressions in XML literals 有权
标题翻译：在XML文字中嵌入表达式
公开(公告)号：US08533693B2
公开(公告)日：2013-09-10
申请号：US12955680
申请日：2010-11-29
申请人： 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 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标识符，一个验证机制，以及一个在集合和单例之间进行转换的转换机制。

8. 发明申请

US20110072413A1 EMBEDDING EXPRESSIONS IN XML LITERALS 有权
标题翻译：嵌入式XML表达式表达式
公开(公告)号：US20110072413A1
公开(公告)日：2011-03-24
申请号：US12955680
申请日：2010-11-29
申请人： 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/44
CPC分类号： G06F17/2247 , G06F8/41 , G06F17/272
摘要： An architecture that 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标识符，一个验证机制，以及一个在集合和单例之间进行转换的转换机制。

9. 发明授权

US07730448B2 Layered type systems 有权
标题翻译：分层式系统
公开(公告)号：US07730448B2
公开(公告)日：2010-06-01
申请号：US11201507
申请日：2005-08-11
申请人： Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton
发明人： Henricus Johannes Maria Meijer , David N. Schach , Avner Y. Aharoni , Peter F. Drayton
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/437
摘要： The subject disclosure pertains to layering of a plurality of type systems. A development environment and language compilers can support multiple data models and their type systems in the same program. Elements of a program such as expressions can then be associated with several types from the multiple type systems. Compilers can employ the information provided by additional type systems to improve static type checking. Furthermore, the information can be bubbled up to a user in a plurality of forms including but not limited to intelligent assistance, auto-completion, tool tips, error information, and return types to enhance the program development experience.
摘要翻译：主题公开涉及多个类型系统的分层。开发环境和语言编译器可以在同一程序中支持多种数据模型及其类型系统。诸如表达式的程序的元素然后可以与多种类型的系统中的几种类型相关联。编译器可以使用附加类型系统提供的信息来改进静态类型检查。此外，信息可以以多种形式鼓泡到用户，包括但不限于智能辅助，自动完成，工具提示，错误信息和返回类型，以增强程序开发经验。

10. 发明授权

US07219329B2 Systems and methods providing lightweight runtime code generation 失效
标题翻译：提供轻量级运行时代码生成的系统和方法
公开(公告)号：US07219329B2
公开(公告)日：2007-05-15
申请号：US10461105
申请日：2003-06-13
申请人： Erik Meijer , Dario Russi , Peter F. Drayton
发明人： Erik Meijer , Dario Russi , Peter F. Drayton
IPC分类号： G06F9/44
CPC分类号： G06F8/447 , G06F9/45516
摘要： The present invention relates to systems and methods that facilitate dynamic programming language execution in a managed code environment. A runtime code generator is provided within the framework of a managed object environment. The code generator includes a class allocator that reserves one or more method slots for a dynamic method call. A dynamic method builder then employs the method slots to generate an intermediate language stream that forms a method description. The method description is then fed to a Just-In-Tine (JIT) compiler that returns at least one dynamically generated pointer to facilitate execution of the dynamic method call at runtime.
摘要翻译：本发明涉及促进托管代码环境中动态编程语言执行的系统和方法。在受管对象环境的框架内提供运行时代码生成器。代码生成器包括为动态方法调用预留一个或多个方法时隙的类分配器。动态方法构建器然后使用方法槽来生成形成方法描述的中间语言流。然后将方法描述提供给Just-In-Tine（JIT）编译器，该编译器返回至少一个动态生成的指针，以便于在运行时执行动态方法调用。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式