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

1. 发明申请

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.
摘要翻译：包括中间代码和元数据的任意定义的集合的虚拟逻辑视图的组合集合可以被编写，考虑，访问，修改和分发。可以聚合组合信息的多个物理容器，以创建一个称为组合集合的单个逻辑组合。因此，组件可以重新定义为反对（或投射到）组件集合的逻辑视图。这样的组件可以针对请求者：即，可以根据工具和/或执行上下文重新定义组件，而不是符合由运行时强制执行的显式或隐式需求。

2. 发明授权

US08443338B2 Logical extensions to intermediate code 有权
标题翻译：中间代码的逻辑扩展
公开(公告)号：US08443338B2
公开(公告)日：2013-05-14
申请号：US12247304
申请日：2008-10-08
申请人： Krzysztof J. Cwalina , Michael C. Fanning , Brian M. Grunkemeyer , Brent E. Rector , Barend H. Venter
发明人： Krzysztof J. Cwalina , Michael C. Fanning , Brian M. Grunkemeyer , 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.
摘要翻译：包括中间代码和元数据的任意定义的集合的虚拟逻辑视图的组合集合可以被编写，考虑，访问，修改和分发。可以聚合组合信息的多个物理容器，以创建一个称为组合集合的单个逻辑组合。因此，组件可以重新定义为反对（或投射到）组件集合的逻辑视图。这样的组件可以针对请求者：即，可以根据工具和/或执行上下文重新定义组件，而不是符合由运行时强制执行的显式或隐式需求。

3. 发明申请

US20100083238A1 Binary manipulation of intermediate-language code 审中-公开
标题翻译：中间语言代码的二进制操作
公开(公告)号：US20100083238A1
公开(公告)日：2010-04-01
申请号：US12242691
申请日：2008-09-30
申请人： Michael Barnett , Michael C. Fanning , Brian M. Grunkemeyer , Barend H. Venter
发明人： Michael Barnett , Michael C. Fanning , Brian M. Grunkemeyer , Barend H. Venter
IPC分类号： G06F9/45
CPC分类号： G06F8/70
摘要： One or more embodiments, described herein, are directed towards a technology for performing transformations and/or modifications to managed byte code. In order to perform the transformations and/or modifications, a mutable programmable representation (MPR) is laid out. A programmer then performs an arbitrary adjustment using the MPR.
摘要翻译：本文描述的一个或多个实施例涉及用于对被管理的字节代码执行转换和/或修改的技术。为了执行转换和/或修改，布置了可变可编程表示（MPR）。然后程序员使用MPR执行任意调整。

4. 发明授权

US07150008B2 Non-invasive rule-based binary analysis of software assemblies 有权
标题翻译：软件组件的非侵入式规则二进制分析
公开(公告)号：US07150008B2
公开(公告)日：2006-12-12
申请号：US10413254
申请日：2003-04-14
申请人： Krzysztof J. Cwalina , Nathan Keith Walker , Michael C. Fanning , Bradley M. Abrams
发明人： Krzysztof J. Cwalina , Nathan Keith Walker , Michael C. Fanning , Bradley M. Abrams
IPC分类号： G06F9/45
CPC分类号： G06F11/3608 , G06F8/70
摘要： Checking program elements and program element behaviors for adherence to software development rules. An analysis engine receives a rule assembly containing metadata and intermediate language instructions representing one or more rules. The analysis engine also receives a target assembly containing metadata and intermediate language instructions representing one or more program elements and/or one or more program element behaviors. The analysis engine identifies (e.g., through reflection or retrieval of intermediate language instructions) a program element or program element behavior from the target assembly that is to be checked for adherence to a rule from the rule assembly. The analysis engine applies the rule to the program element or program element behavior to check the program element or program element behavior for adherence to the rule. Results can be stored for later viewing by a programmer.
摘要翻译：检查程序元素和程序元素行为是否遵守软件开发规则。分析引擎接收包含表示一个或多个规则的元数据和中间语言指令的规则组件。分析引擎还接收包含表示一个或多个程序元素和/或一个或多个程序元素行为的元数据和中间语言指令的目标程序集。分析引擎通过来自目标组件的程序元素或程序元素行为来识别（例如，通过反射或检索中间语言指令）来检查从规则组件遵守规则。分析引擎将规则应用于程序元素或程序元素行为，以检查程序元素或程序元素行为以遵守规则。结果可以存储以供程序员稍后查看。

5. 发明授权

US08555250B2 Static semantic analysis of dynamic languages 有权
标题翻译：动态语言的静态语义分析
公开(公告)号：US08555250B2
公开(公告)日：2013-10-08
申请号：US13149651
申请日：2011-05-31
申请人： Michael C. Fanning , Frederico A. Mameri , Zachary A. Nation
发明人： Michael C. Fanning , Frederico A. Mameri , Zachary A. Nation
IPC分类号： G06F9/44
CPC分类号： G06F11/3604
摘要： Analyzing dynamic source code. A method includes accessing a specific metadata format data structure. The data structure was created by obtaining one or more first data structures defining constructs in a body of dynamic language source code. From the one or more first data structures, identifier information is extracted for one or more of the defined constructs. Knowledge about the constructs is augmented. The metadata format data structure is parsed to compute metrics about the metadata format data structure. The metrics about the metadata format data structure are provided to a user.
摘要翻译：分析动态源代码。一种方法包括访问特定的元数据格式数据结构。通过获取在动态语言源代码体中定义构造的一个或多个第一数据结构来创建数据结构。从一个或多个第一数据结构中，为一个或多个所定义的构造提取标识符信息。关于结构的知识增加了。分析元数据格式数据结构以计算关于元数据格式数据结构的度量。关于元数据格式数据结构的指标被提供给用户。

6. 发明申请

US20130263102A1 LOGICAL GROUPING OF PROFILE DATA 有权
标题翻译：资料数据的逻辑分组
公开(公告)号：US20130263102A1
公开(公告)日：2013-10-03
申请号：US13430968
申请日：2012-03-27
申请人： Cenk Ergan , Michael C. Fanning
发明人： Cenk Ergan , Michael C. Fanning
IPC分类号： G06F9/45
CPC分类号： G06F8/70 , G06F8/443 , G06F11/3082 , G06F11/323 , G06F11/3409 , G06F11/3495
摘要： Profile data can be ascribed to groups as a function of an organizational scheme that defines groups and relationships between groups. The groups can be abstractions over profile data that are meaningful for computer program analysis. Subsequently, grouped data can be disseminated, queried, and visualized in numerous ways to further aid program analysis.
摘要翻译：配置文件数据可以归因于作为组之间的组和组之间关系的组织方案的函数的组。这些组可以是对计算机程序分析有意义的简档数据的抽象。随后，可以以多种方式传播，查询和可视化分组数据，以进一步帮助方案分析。

7. 发明申请

US20130159978A1 STATE CAPTURE AFTER EXECUTION IN DEPENDENT SEQUENCES 有权
标题翻译：执行相关序列后的状态检测
公开(公告)号：US20130159978A1
公开(公告)日：2013-06-20
申请号：US13329130
申请日：2011-12-16
申请人： Charles P. Jazdzewski , Michael C. Fanning
发明人： Charles P. Jazdzewski , Michael C. Fanning
IPC分类号： G06F9/44
CPC分类号： G06F11/3636
摘要： The execution of a dynamic code segment sequence that includes at least two code segments in sequence. The first code segment is first executed and the corresponding state of the environment is captured. The second code segment is then executed. When the second code segment is later re-executed, the first code segment is not re-executed again. Rather, the environmental state is set to be the captured state that existed when the first code segment originally executed. Then, the second code segment may be executed without spending the resources required to re-run the first code segment. This may be employed at authoring time, or after deployment time.
摘要翻译：动态代码段序列的执行，其顺序包括至少两个代码段。首先执行第一个代码段，并捕获相应的环境状态。然后执行第二个代码段。当第二代码段稍后重新执行时，第一代码段不再被重新执行。相反，环境状态被设置为当第一代码段最初执行时存在的捕获状态。然后，可以在不花费重新运行第一代码段所需的资源的情况下执行第二代码段。这可能在创作时间或部署时间后使用。

8. 发明申请

US20130159968A1 LANGUAGE SERVICE PROVIDER MANAGEMENT USING APPLICATION CONTEXT 有权
标题翻译：使用应用程序语言的语言服务提供商管理
公开(公告)号：US20130159968A1
公开(公告)日：2013-06-20
申请号：US13329140
申请日：2011-12-16
申请人： Charles P. Jazdzewski , Michael C. Fanning , Randy S. Kimmerly , A. Michael Horton
发明人： Charles P. Jazdzewski , Michael C. Fanning , Randy S. Kimmerly , A. Michael Horton
IPC分类号： G06F9/44
CPC分类号： G06F8/43
摘要： A language service provider framework that generates an application context of a dynamic language program being authored. The application context includes a description of the dynamic language application being authored, one or more specific locations within the program, and runtime environment information. A language service provider port component holds one or more language service providers. Each language service provider may receive the application context and generate a set of available symbols corresponding to each of at least one of the identified one or more specific locations. A management component receives the application context from the application context generation component, provides the application context the language service provider, and correspondingly receives the available symbol set from the language service provider. Since the management component provides an application context that also includes runtime environment information, the available symbol set may be more accurately represented, thereby facilitating authoring of dynamic language programs.
摘要翻译：语言服务提供者框架，用于生成正在创作的动态语言程序的应用程序上下文。应用程序上下文包括对正在创作的动态语言应用程序，程序中的一个或多个特定位置以及运行时环境信息的描述。语言服务提供商端口组件包含一个或多个语言服务提供商。每个语言服务提供商可以接收应用程序上下文，并且生成对应于所识别的一个或多个特定位置中的至少一个中的每一个的一组可用符号。管理组件从应用程序上下文生成组件接收应用程序上下文，向应用程序上下文提供语言服务提供者，并相应地从语言服务提供者接收可用符号集。由于管理组件提供了还包括运行时环境信息的应用程序上下文，所以可以更精确地表示可用的符号集，从而有助于动态语言程序的创作。

9. 发明申请

US20130159967A1 AVAILABLE SYMBOL SET GENERATION USING UNTYPED VARIABLE 有权
标题翻译：可用符号设置生成使用不可变的
公开(公告)号：US20130159967A1
公开(公告)日：2013-06-20
申请号：US13329136
申请日：2011-12-16
申请人： Charles P. Jazdzewski , Michael C. Fanning
发明人： Charles P. Jazdzewski , Michael C. Fanning
IPC分类号： G06F9/44
CPC分类号： G06F8/41 , G06F8/313
摘要： The facilitated computation of an available symbol set at code locations in a dynamic language program, in which the program is executed up to a particular halt point for which an available symbol set is to be generated. At the halt point, a type of a value of a particular variable may be used in order to generate the available symbol set. However, at the halt point, the variable does not yet have a value of a useful type (e.g., null or undefined), which is possible in a dynamic language program. Rather than return an error, the principles described herein returns an arbitrary symbol set anyway. Specifically, the variable had previously been annotated with information represented accessed type information for the variable, even though the variable has not formally been defined. This annotated information may be used to generate the available symbol set.
摘要翻译：在动态语言程序中的代码位置处的可用符号集合的便利计算，其中程序被执行到要生成可用符号集的特定停止点。在停止点，可以使用特定变量的值的类型以便生成可用符号集。然而，在停止点，该变量尚未具有有用类型（例如，空或未定义）的值，这在动态语言程序中是可能的。不是返回错误，而是在这里所述的原理返回任意的符号集。具体来说，尽管变量尚未被正式定义，但变量之前已经用变量的已访问信息表示访问类型信息。该注释信息可用于生成可用符号集。

10. 发明申请

US20120331374A1 LINKING SOURCE CODE TO RUNNING ELEMENT 审中-公开
标题翻译：将源代码链接到运行元素
公开(公告)号：US20120331374A1
公开(公告)日：2012-12-27
申请号：US13167229
申请日：2011-06-23
申请人： Michael C. Fanning , Matthew Hall , Gary Linscott , Felix GTI Andrew , Kenneth A. Showman , Evgeny Tvorun
发明人： Michael C. Fanning , Matthew Hall , Gary Linscott , Felix GTI Andrew , Kenneth A. Showman , Evgeny Tvorun
IPC分类号： G06F17/00
CPC分类号： G06F16/957 , G06F16/88
摘要： A method includes parsing a text source document to construct a document node tree such that the document node tree includes text offsets indicating the location of the text within the text source document corresponding to each node of the document node tree. The method includes constructing, from the document node tree, a Document Object Model (DOM) and a view node tree that represents the DOM. The constructing of the view node tree includes mapping the view node tree to the document node tree. The method includes providing a running representation of the DOM such that DOM elements of the DOM are linked to the text within the text source document corresponding to the DOM elements via the view node tree and the document node tree.
摘要翻译：一种方法包括解析文本源文档以构建文档节点树，使得文档节点树包括指示文本源文档中与文档节点树的每个节点对应的文本的位置的文本偏移。该方法包括从文档节点树中构建表示DOM的文档对象模型（DOM）和视图节点树。视图节点树的构造包括将视图节点树映射到文档节点树。该方法包括提供DOM的运行表示，使得DOM的DOM元素通过视图节点树和文档节点树链接到与DOM元素对应的文本源文档内的文本。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式