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

1. 发明授权

US09239708B2 Contextually intelligent code editing 有权
标题翻译：上下文智能代码编辑
公开(公告)号：US09239708B2
公开(公告)日：2016-01-19
申请号：US12979839
申请日：2010-12-28
申请人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
发明人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： This document describes techniques for contextually intelligent code editing. In at least some embodiments, the techniques are network-based and can use client-server interactions to develop programming code. For example, input to a local programming environment of a client can be transmitted to a server. A functionality at the server can inspect the input and determine programming options (e.g., programming terms and/or phrases) that are contextually valid in the local programming environment. A list of the programming options can then be transmitted to the client and presented via a user interface. In some embodiments, a selection of one of the programming options can cause the programming option to be populated to the local programming environment, e.g., as part of a user interface associated with the local programming environment. In at least some embodiments, the list of programming options can be cached locally on the client for quick retrieval.
摘要翻译：本文档描述了上下文智能代码编辑的技术。在至少一些实施例中，这些技术是基于网络的，并且可以使用客户端 - 服务器交互来开发编程代码。例如，可将客户端的本地编程环境的输入发送到服务器。服务器上的功能可以检查输入并确定在本地编程环境中上下文有效的编程选项（例如，编程术语和/或短语）。然后可以将编程选项的列表传送到客户端并通过用户界面呈现。在一些实施例中，编程选项之一的选择可以使编程选项被填充到本地编程环境，例如作为与本地编程环境相关联的用户界面的一部分。在至少一些实施例中，编程选项列表可以在本地缓存在客户机上用于快速检索。

2. 发明申请

US20120167042A1 CONTEXTUALLY INTELLIGENT CODE EDITING 有权
标题翻译：内部智能代码编辑
公开(公告)号：US20120167042A1
公开(公告)日：2012-06-28
申请号：US12979839
申请日：2010-12-28
申请人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
发明人： Nikolai Tillmann , Jonathan P. de Halleux , Barend H. Venter
IPC分类号： G06F9/44
CPC分类号： G06F8/33
摘要： This document describes techniques for contextually intelligent code editing. In at least some embodiments, the techniques are network-based and can use client-server interactions to develop programming code. For example, input to a local programming environment of a client can be transmitted to a server. A functionality at the server can inspect the input and determine programming options (e.g., programming terms and/or phrases) that are contextually valid in the local programming environment. A list of the programming options can then be transmitted to the client and presented via a user interface. In some embodiments, a selection of one of the programming options can cause the programming option to be populated to the local programming environment, e.g., as part of a user interface associated with the local programming environment. In at least some embodiments, the list of programming options can be cached locally on the client for quick retrieval.
摘要翻译：本文档描述了上下文智能代码编辑的技术。在至少一些实施例中，这些技术是基于网络的，并且可以使用客户端 - 服务器交互来开发编程代码。例如，可将客户端的本地编程环境的输入发送到服务器。服务器上的功能可以检查输入并确定在本地编程环境中上下文有效的编程选项（例如，编程术语和/或短语）。然后可以将编程选项的列表传送到客户端并通过用户界面呈现。在一些实施例中，编程选项之一的选择可以使编程选项被填充到本地编程环境，例如作为与本地编程环境相关联的用户界面的一部分。在至少一些实施例中，编程选项列表可以在本地缓存在客户机上用于快速检索。

3. 发明申请

US20110265067A1 Automatic Parallelization in a Tracing Just-in-Time Compiler System 有权
标题翻译：跟踪即时编译器系统中的自动并行化
公开(公告)号：US20110265067A1
公开(公告)日：2011-10-27
申请号：US12764103
申请日：2010-04-21
申请人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel JP Leijen , Barend H. Venter
发明人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel JP Leijen , Barend H. Venter
IPC分类号： G06F9/45
CPC分类号： G06F9/45516 , G06F8/456 , G06F9/445 , G06F9/449
摘要： A tracing just-in-time (TJIT) compiler system is described for performing parallelization of code in a runtime phase in the execution of code. Upon detecting a hot loop during the execution of the code, the compiler system extracts trace information from sequentially recorded traces. In a first phase, the compiler system uses the trace information to identify at least one group of operation components that can be operated on in a parallel manner. In a second phase, the compiler system provides instructions which allocate the group of operation components to plural processing resources. A native code generator module carries out those instructions by recompiling native code that directs the operation of a native system to perform parallel processing. The compiler system terminates a group if it encounters program data in a loop iteration that is not consistent with previously encountered predicated information (upon which it records a new trace in a sequential manner).
摘要翻译：描述了即时（TJIT）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。

4. 发明授权

US08959496B2 Automatic parallelization in a tracing just-in-time compiler system 有权
标题翻译：跟踪即时编译系统中的自动并行化
公开(公告)号：US08959496B2
公开(公告)日：2015-02-17
申请号：US12764103
申请日：2010-04-21
申请人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel J P Leijen , Barend H. Venter
发明人： Wolfram Schulte , Nikolai Tillmann , Michal J. Moskal , Manuel A. Fahndrich , Daniel J P Leijen , Barend H. Venter
IPC分类号： G06F9/44 , G06F9/45 , G06F9/455 , G06F9/445
CPC分类号： G06F9/45516 , G06F8/456 , G06F9/445 , G06F9/449
摘要： A tracing just-in-time (TJIT) compiler system is described for performing parallelization of code in a runtime phase in the execution of code. Upon detecting a hot loop during the execution of the code, the compiler system extracts trace information from sequentially recorded traces. In a first phase, the compiler system uses the trace information to identify at least one group of operation components that can be operated on in a parallel manner. In a second phase, the compiler system provides instructions which allocate the group of operation components to plural processing resources. A native code generator module carries out those instructions by recompiling native code that directs the operation of a native system to perform parallel processing. The compiler system terminates a group if it encounters program data in a loop iteration that is not consistent with previously encountered predicated information (upon which it records a new trace in a sequential manner).
摘要翻译：描述了即时（TJIT）跟踪编译器系统，用于在执行代码的运行时阶段执行代码并行化。在执行代码期间检测到热循环时，编译器系统从顺序记录的轨迹提取跟踪信息。在第一阶段，编译器系统使用跟踪信息来识别可以以并行方式操作的至少一组操作组件。在第二阶段，编译器系统提供将操作组分组分配给多个处理资源的指令。本地代码生成器模块通过重新编译引导本地系统的操作来执行并行处理的本机代码来执行这些指令。如果编译器系统遇到与以前遇到的预定信息不一致的循环迭代中遇到程序数据（在其中以顺序方式记录新的跟踪），则终止组。

5. 发明申请

US20100088669A1 LOGICAL EXTENSIONS TO INTERMEDIATE CODE 有权
标题翻译：对中间代码的逻辑延伸
公开(公告)号：US20100088669A1
公开(公告)日：2010-04-08
申请号：US12247304
申请日：2008-10-08
申请人： Krzysztof J. Cwalina , Michael C. Fanning , Brian M. Grunkemever , Brent E. Rector , Barend H. Venter
发明人： Krzysztof J. Cwalina , Michael C. Fanning , Brian M. Grunkemever , Brent E. Rector , Barend H. Venter
IPC分类号： G06F9/44
CPC分类号： G06F8/73
摘要： An assembly aggregate comprising a virtual, logical view of an arbitrarily defined collection of intermediate code and metadata can be authored, factored, accessed, modified, and distributed. Multiple physical containers of assembly information can be aggregated to create a single logical assembly called an assembly aggregate. An assembly can thus be redefined as a logical view against (or projection over) the assembly aggregate. Such an assembly can be targeted to the requester: that is, an assembly can be redefined according to tool and/or execution context rather than conforming to explicit or implicit requirements enforced by the runtime.
摘要翻译：包括中间代码和元数据的任意定义的集合的虚拟逻辑视图的组合集合可以被编写，考虑，访问，修改和分发。可以聚合组合信息的多个物理容器，以创建一个称为组合集合的单个逻辑组合。因此，组件可以重新定义为反对（或投射到）组件集合的逻辑视图。这样的组件可以针对请求者：即，可以根据工具和/或执行上下文重新定义组件，而不是符合由运行时强制执行的显式或隐式需求。

6. 发明申请

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

7. 发明授权

US08250653B2 Secure multi-principal web browser 有权
标题翻译：安全的多主体Web浏览器
公开(公告)号：US08250653B2
公开(公告)日：2012-08-21
申请号：US12433788
申请日：2009-04-30
申请人： Jiahe Helen Wang , Barend H. Venter , Christopher L. Grier
发明人： Jiahe Helen Wang , Barend H. Venter , Christopher L. Grier
IPC分类号： G06F21/00
CPC分类号： G06F21/74 , G06F9/468 , G06F9/545 , G06F21/53
摘要： A web browser operating system using a browser kernel places principals having different origins in separate principal instances, where each separate principal instance executes in a separate protection domain. Principal origin may be determined using the combination of protocol, domain name, and port. The browser kernel mediates communications between principal instances, and between the principal instances and the operating system. Within each principal instance, a browser runtime executes as a restricted operating system process (ROSP), while any plugins are executed as a separate ROSP. Renderings from each browser runtime are combined by the browser kernel for presentation to a user.
摘要翻译：使用浏览器内核的Web浏览器操作系统将具有不同起源的原理放在单独的主体实例中，其中每个单独的主体实例在单独的保护域中执行。主要来源可以使用协议，域名和端口的组合来确定。浏览器内核调解主体实例之间以及主体实例和操作系统之间的通信。在每个主体实例中，浏览器运行时作为受限操作系统进程（ROSP）执行，而任何插件都作为单独的ROSP执行。每个浏览器运行时间的渲染由浏览器内核组合以呈现给用户。

8. 发明授权

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

9. 发明授权

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

10. 发明授权

US07219338B2 Multi-language compilation 有权
标题翻译：多语言编译
公开(公告)号：US07219338B2
公开(公告)日：2007-05-15
申请号：US10397032
申请日：2003-03-25
申请人： Barend H. Venter
发明人： Barend H. Venter
IPC分类号： G06F9/45
CPC分类号： G06F8/423 , G06F8/427
摘要： A system and method for multi-language compilation is provided. The system and method provide a mechanism for two or more separately written compiler components to co-operate in the compilation of mixed language compilation units. The system mitigates problems associated with conventional approaches to dealing with embedded code blocks. Extensibility is facilitated through the use of a common compiler infrastructure (CCI) in the form of a base class library. Compilers for specific languages are written as extensions of these classes. Common conventions and a flexible extensibility mechanism facilitate cooperation amongst the compilers.
摘要翻译：提供了一种用于多语言编译的系统和方法。系统和方法为两个或多个单独编写的编译器组件提供了一种机制，用于在混合语言编译单元的编译中进行合作。该系统减轻了与处理嵌入式代码块的常规方法相关的问题。通过使用基类库的形式的通用编译器基础架构（CCI）来促进可扩展性。特定语言的编译器是这些类的扩展名。通用公约和灵活的可扩展性机制促进了编译器之间的合作。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式