会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • Use of Name Mangling Techniques To Encode Cross Procedure Register Assignment
    • 使用名称Mangling技术来编码交叉过程寄存器分配
    • US20100169872A1
    • 2010-07-01
    • US12347229
    • 2008-12-31
    • Christopher A. LapkowskiKevin A. Stoodley
    • Christopher A. LapkowskiKevin A. Stoodley
    • G06F9/45
    • G06F8/441G06F8/4441
    • Optimizing a program having a plurality of functions. The program is optimized using an optimization technique that requires breaking a calling convention. The first function of the plurality of functions is modified as a result of optimizing. A name of the first function is mangled to form a unique first mangled name. Mangling comprises changing the name. The unique first mangled name includes, as a result of mangling, first information conveying at least in part how the first function was modified. A second function of the plurality of functions, being a caller of the first function, is also modified to correctly invoke first function using the unique first mangled name to apply the optimization technique. A compilation tool can, after optimizing, use the first information to take a first action with respect to the first procedure, wherein the compilation tool otherwise would require the calling convention to remain unbroken in order to take the first action.
    • 优化具有多个功能的程序。 该程序使用优化技术进行优化,该技术需要打破调用约定。 作为优化的结果,修改了多个功能的第一功能。 第一个功能的名称被破坏,形成一个唯一的第一个被破坏的名字。 Mangling包括改名字。 唯一的第一个被破坏的名字包括由于破坏的结果,第一个信息至少部分地传达第一个功能的修改方式。 作为第一功能的调用者的多个功能的第二功能也被修改为使用唯一的第一被调整名称正确地调用第一功能以应用优化技术。 编译工具在优化之后可以使用第一信息对第一过程采取第一动作,其中编译工具否则将要求调用约定保持不间断以便采取第一动作。
    • 2. 发明授权
    • Use of name mangling techniques to encode cross procedure register assignment
    • 使用名称调整技术编码交叉过程寄存器分配
    • US08468511B2
    • 2013-06-18
    • US12347229
    • 2008-12-31
    • Christopher A. LapkowskiKevin A. Stoodley
    • Christopher A. LapkowskiKevin A. Stoodley
    • G06F9/45
    • G06F8/441G06F8/4441
    • Optimizing a program having a plurality of functions using an optimization technique that requires breaking a calling convention. A first function of the plurality of functions is modified as a result of optimizing. A name of the first function is mangled to form a unique first mangled name changing the name of the first function to include, as a result of mangling, first information conveying at least in part how the first function was modified. A second function of the plurality of functions, being a caller of the first function, is also modified to correctly invoke the first function using the unique first mangled name to apply the optimization technique. A compilation tool can, after optimizing, use the first information to take a first action with respect to the first procedure, wherein the compilation tool otherwise would require the calling convention to remain unbroken to take the first action.
    • 使用需要打破呼叫约定的优化技术来优化具有多个功能的程序。 作为优化的结果,修改了多个功能的第一功能。 第一个功能的名称被破坏以形成一个唯一的第一个被修改的名字,改变了第一个功能的名称,以包含由于修改的结果,第一个信息至少部分地传达第一个功能的修改方式。 作为第一功能的调用者的多个功能的第二功能也被修改,以使用唯一的第一被调整的名称正确地调用第一功能以应用优化技术。 编译工具可以在优化之后使用第一信息对第一过程采取第一动作,其中编译工具否则将要求调用约定保持不间断以采取第一动作。
    • 7. 发明申请
    • CONDENSING PATTERN MATCHER GENERATION FOR INTERMEDIATE LANGUAGE PATTERNS
    • 用于中间语言模式的冷凝图形匹配生成
    • US20090235238A1
    • 2009-09-17
    • US12047866
    • 2008-03-13
    • Kevin A. StoodleyArie Tal
    • Kevin A. StoodleyArie Tal
    • G06F9/45
    • G06F8/427
    • Embodiments of the present invention address deficiencies of the art in respect to pattern matcher generation and provide a method, system and computer program product for automatic pattern matching and generation of intermediate language patterns. In one embodiment of the invention, a pattern matcher generation method can be provided. The method can include identifying input elements from intermediate language code, reducing the identified input elements from the intermediate language code to inputs of common and unique use, creating a unifiable form for each of the input elements of common and unique use, and generating a pattern matcher for each of the input elements of common and unique use in the intermediate language code using a corresponding unifiable form in place of each of the input elements of common and unique use. In particular, the generated pattern matcher can be EMTF conformant.
    • 本发明的实施例解决了与图案匹配器生成有关的技术缺陷,并且提供了用于自动模式匹配和中间语言模式生成的方法,系统和计算机程序产品。 在本发明的一个实施例中,可以提供模式匹配器生成方法。 该方法可以包括从中间语言代码识别输入元素,将所识别的输入元素从中间语言代码减少到公共和独特使用的输入,为共同和独特使用的每个输入元素创建一个可统一的形式,以及生成模式 使用相应的可统一形式代替共同和独特使用的每个输入元素的中间语言代码中的每个输入元素的共同和唯一使用的匹配器。 特别地,生成的模式匹配器可以是符合EMTF的。
    • 9. 发明授权
    • Condensing pattern matcher generation for intermediate language patterns
    • 用于中间语言模式的冷凝模式匹配器生成
    • US08341607B2
    • 2012-12-25
    • US12047866
    • 2008-03-13
    • Kevin A. StoodleyArie Tal
    • Kevin A. StoodleyArie Tal
    • G06F9/45
    • G06F8/427
    • Embodiments of the present invention address deficiencies of the art in respect to pattern matcher generation and provide a method, system and computer program product for automatic pattern matching and generation of intermediate language patterns. In one embodiment of the invention, a pattern matcher generation method can be provided. The method can include identifying input elements from intermediate language code, reducing the identified input elements from the intermediate language code to inputs of common and unique use, creating a unifiable form for each of the input elements of common and unique use, and generating a pattern matcher for each of the input elements of common and unique use in the intermediate language code using a corresponding unifiable form in place of each of the input elements of common and unique use. In particular, the generated pattern matcher can be expression matching and transformation programming framework (EMTF) conformant.
    • 本发明的实施例解决了与图案匹配器生成有关的技术缺陷,并且提供了用于自动模式匹配和中间语言模式生成的方法,系统和计算机程序产品。 在本发明的一个实施例中,可以提供模式匹配器生成方法。 该方法可以包括从中间语言代码识别输入元素,将所识别的输入元素从中间语言代码减少到公共和独特使用的输入,为共同和独特使用的每个输入元素创建一个可统一的形式,以及生成模式 使用相应的可统一形式代替共同和独特使用的每个输入元素的中间语言代码中的每个输入元素的共同和唯一使用的匹配器。 特别地,生成的模式匹配器可以是表达式匹配和变换编程框架(EMTF)。