公开(公告)号：US20150324493A1

公开(公告)日：2015-11-12

申请号：US14707897

申请日：2015-05-08

申请人： AUTODESK, Inc

发明人： Francesco IORIO ,  Wei LI ,  Hyunmin CHEONG

IPC分类号： G06F17/50 ,  G06F3/0481 ,  G06F17/28

CPC分类号： G06F17/50 ,  G06F8/10 ,  G06F8/425 ,  G06F8/427 ,  G06F16/22 ,  G06F16/24578

摘要： A computing device for receiving a design problem statement describing a design problem in a controlled natural language (CNL) that defines permitted lexicons and syntax structures. The design problem statement is processed using the CNL lexicons and syntax structures to produce a job description executable by a design application for generating a design solution for the design problem statement. An improved CNL user interface that assists users to produce valid design problem statements that are CNL-compliant. The CNL user interface receives user-selectable terms that are compliant with the CNL lexicons and generates candidate problem statements that are compliant with CNL syntax structures and receives a selection of a candidate problem statement that is added to the design problem statement. A graphical user interface may display a graphical representation of a design problem statement that can be directly modified. A dialogue-based design process to explore possible design intentions and design solutions.

公开(公告)号：US20150324492A1

公开(公告)日：2015-11-12

申请号：US14707889

申请日：2015-05-08

申请人： AUTODESK, INC

发明人： Francesco IORIO ,  Wei LI ,  Hyunmin CHEONG

IPC分类号： G06F17/50 ,  G06F17/30 ,  G06F17/28

CPC分类号： G06F17/50 ,  G06F8/10 ,  G06F8/425 ,  G06F8/427 ,  G06F16/22 ,  G06F16/24578

摘要： A computing device for receiving a design problem statement describing a design problem in a controlled natural language (CNL) that defines permitted lexicons and syntax structures. The design problem statement is processed using the CNL lexicons and syntax structures to produce a job description executable by a design application for generating a design solution for the design problem statement. An improved CNL user interface that assists users to produce valid design problem statements that are CNL-compliant. The CNL user interface receives user-selectable terms that are compliant with the CNL lexicons and generates candidate problem statements that are compliant with CNL syntax structures and receives a selection of a candidate problem statement that is added to the design problem statement. A graphical user interface may display a graphical representation of a design problem statement that can be directly modified. A dialogue-based design process to explore possible design intentions and design solutions.

公开(公告)号：US20150193213A1

公开(公告)日：2015-07-09

申请号：US14504724

申请日：2014-10-02

申请人： Tata Consultancy Services Ltd.

发明人： Mayuresh P. Warunjikar ,  Priyam Jain ,  Neeraj Jain ,  Nitin Kumar Rai ,  Vivek Tiwari ,  Amit Kumar Choubey

IPC分类号： G06F9/45

CPC分类号： G06F8/425 ,  G06F8/427

摘要： A computer implemented system for checking a program code that includes a lexical analyzer to lexically analyze the expressions of the program code and generate tokens representing these expressions. The system includes a parser that receives and parses the tokens to determine whether the tokens form an allowable expression. A tree generation module generates a parsed tree that represents relationship between the tokens in a tree-format. The system further includes an abstractor that cooperates with the tree generation module, and stores at least one meta model that represents program code in an entity-relationship format. A rule engine executes the code checking rule(s) on the populated instance of the meta model, and determines whether said program code complies with the code checking rule(s). The system also includes a report generator that generates at least one report indicating the compliance level of the program code with the code-checking rule(s).

摘要翻译： 一种用于检查包括词法分析器的程序代码的计算机实现的系统，用于对程序代码的表达进行词法分析并生成表示这些表达式的令牌。 该系统包括一个解析器，用于接收和解析令牌，以确定令牌是否形成一个允许的表达式。 树生成模块生成一个表示树形式的令牌之间的关系的解析树。 该系统还包括与树生成模块配合的抽象器，并存储以实体关系格式表示程序代码的至少一个元模型。 规则引擎执行元模型的填充实例上的代码检查规则，并确定所述程序代码是否符合代码检查规则。 该系统还包括报告生成器，其生成至少一个报告，该报告指示具有代码检查规则的程序代码的合规级别。

公开(公告)号：US08806456B2

公开(公告)日：2014-08-12

申请号：US13485410

申请日：2012-05-31

申请人： Paul Gazzillo ,  Robert Grimm

发明人： Paul Gazzillo ,  Robert Grimm

IPC分类号： G06F9/45

CPC分类号： G06F8/31 ,  G06F8/423 ,  G06F8/425

摘要： Methods, systems, and apparatuses, including computer programs encoded on computer readable media, for generating a plurality of tokens from one or more source files that include source code in a first programming language. The source code includes one or more static conditionals that include a conditional expression and branch code that is operative when the conditional expression is true. Various configurations are possible based upon the conditionals. A first static conditional includes one or more nested static conditionals within the branch code associated with the first static conditional. Each of the one or more nested static conditionals is hoisted to a beginning of the branch code associated with the first static conditional. Each innermost branch code does not contain a static conditional and each possible configuration is preserved.

摘要翻译： 方法，系统和装置，包括在计算机可读介质上编码的计算机程序，用于从包括第一编程语言的源代码的一个或多个源文件生成多个令牌。 源代码包括一个或多个静态条件，包括条件表达式和条件表达式为真时可用的分支代码。 基于条件可以进行各种配置。 第一静态条件包括与第一静态条件相关联的分支代码内的一个或多个嵌套静态条件。 一个或多个嵌套静态条件中的每一个都被提升到与第一个静态条件关联的分支代码的开头。 每个最内分支代码不包含静态条件，并且每个可能的配置被保留。

公开(公告)号：US20140019947A1

公开(公告)日：2014-01-16

申请号：US13779536

申请日：2013-02-27

申请人： ORACLE INTERNATIONAL CORPORATION

发明人： Brian Goetz ,  Daniel Smith ,  Maurizio Cimadamore

IPC分类号： G06F9/45

CPC分类号： G06F8/437 ,  G06F8/315 ,  G06F8/41 ,  G06F8/425 ,  G06F8/43

摘要： A system and method can support compatibility checking in a programming language environment. The programming language environment can check whether a target type associated with an expression in the programming language environment is functional, wherein the target type is functional when it has exactly one method meeting one or more criteria that define that method as relevant in a counting system. Then, the programming language environment can derive a function descriptor from the target type, which is context-dependent. Furthermore, the programming language environment can type-check the expression with the function descriptor associated with the target type.

摘要翻译： 系统和方法可以支持编程语言环境中的兼容性检查。 编程语言环境可以检查与编程语言环境中的表达式相关联的目标类型是否起作用，其中目标类型在正好一种满足在计数系统中定义该方法的一个或多个标准的方法时是有效的。 然后，编程语言环境可以从目标类型导出一个函数描述符，这与上下文有关。 此外，编程语言环境可以使用与目标类型相关联的函数描述符来键入检查表达式。

公开(公告)号：US08225299B2

公开(公告)日：2012-07-17

申请号：US11945087

申请日：2007-11-26

申请人： Mikio Takeuchi

发明人： Mikio Takeuchi

IPC分类号： G06F9/45

CPC分类号： G06F8/443 ,  G06F8/425 ,  G06F9/4484

摘要： Program converting methods, apparatus and systems including a code analysis unit for performing lexical and syntactic analyses of a source code of an execution program, an optimization unit for transforming this execution program, and an output code generation unit for converting the transformed execution program into a machine language code. In addition, this optimization unit detects a calling procedure and a called procedure in a procedure call of this execution program analyzed by the code analysis unit, guards an evaluation of an argument described in the called procedure under a predetermined evaluation condition, and transforms the execution program so that the evaluation is performed when referring to this argument.

摘要翻译： 程序转换方法，装置和系统，包括用于执行执行程序的源代码的词法和句法分析的代码分析单元，用于变换该执行程序的优化单元，以及用于将转换后的执行程序转换为 机器语言代码。 此外，该优化单元在由代码分析单元分析的该执行程序的过程调用中检测调用过程和调用过程，在预定的评估条件下保护在被调用过程中描述的参数的评估，并且转换执行 程序，以便在参考此参数时执行评估。

公开(公告)号：US20080098372A1

公开(公告)日：2008-04-24

申请号：US11945087

申请日：2007-11-26

申请人： Mikio Takeuchi

发明人： Mikio Takeuchi

IPC分类号： G06F9/45

CPC分类号： G06F8/443 ,  G06F8/425 ,  G06F9/4484

摘要： Program converting methods, apparatus and systems including a code analysis unit for performing lexical and syntactic analyses of a source code of an execution program, an optimization unit for transforming this execution program, and an output code generation unit for converting the transformed execution program into a machine language code. In addition, this optimization unit detects a calling procedure and a called procedure in a procedure call of this execution program analyzed by the code analysis unit, guards an evaluation of an argument described in the called procedure under a predetermined evaluation condition, and transforms the execution program so that the evaluation is performed when referring to this argument.

摘要翻译： 程序转换方法，装置和系统，包括用于执行执行程序的源代码的词汇和句法分析的代码分析单元，用于变换该执行程序的优化单元，以及用于将转换后的执行程序转换为 机器语言代码。 此外，该优化单元在由代码分析单元分析的该执行程序的过程调用中检测调用过程和调用过程，在预定的评估条件下保护在被调用过程中描述的参数的评估，并且转换执行 程序，以便在参考此参数时执行评估。

公开(公告)号：US20080098371A1

公开(公告)日：2008-04-24

申请号：US11536047

申请日：2006-09-28

申请人： Marcel Mitran ,  Vijay Sundaresan ,  Alexander Vaseilevskiy

发明人： Marcel Mitran ,  Vijay Sundaresan ,  Alexander Vaseilevskiy

IPC分类号： G06F9/45

CPC分类号： G06F8/425

摘要： Expressions are selectively retrieved from memory during compilation by scanning code for expressions that can be effectively accessed directly from highly cached memory without needing to be loaded into a register, e.g., expressions that are not modified by the rest of the code. The scanning may include examining the use of the expression. Those expressions may be retrieved directly from the highly cached memory rather than being loaded into registers. This reduces compilation time.

摘要翻译： 在编译期间，通过扫描代码可以从高度缓存的存储器中直接有效访问的表达式而不需要加载到寄存器中，例如不被其余代码修改的表达式，可以在编译期间从存储器中选择性地检索表达式。 扫描可能包括检查表达式的使用。 这些表达式可以直接从高度缓存的存储器中检索，而不是被加载到寄存器中。 这减少了编译时间。

公开(公告)号：US20070118358A1

公开(公告)日：2007-05-24

申请号：US11557940

申请日：2006-11-08

申请人： Alexander Tom

发明人： Alexander Tom

IPC分类号： G06F17/28 ,  G06F17/21

CPC分类号： G06F17/271 ,  G06F8/425

摘要： A method of implementing a grammar in hardware processing is described. The method comprises determining a delineation of one or more terminals in a received string; assigning one or more non-terminals to one or more of the one or more terminals, wherein the one or more non-terminals belong to a grammar and are stored in a symbol table; reducing the one or more non-terminals to one or more reduced non-terminals symbols based on a set of reduction rules; producing one or more leaf non-terminals based on at least one of the one or more reduced non-terminals and a set of production rules; and generating actions and data as a result of the actions based on the production rules used to produce the one or more leaf non-terminals and based on the delineation of the received string.

摘要翻译： 描述了在硬件处理中实现语法的方法。 该方法包括确定接收到的串中的一个或多个终端的描述; 将一个或多个非终端分配给所述一个或多个终端中的一个或多个，其中所述一个或多个非终端属于语法并存储在符号表中; 基于一组减少规则将一个或多个非终端减少到一个或多个减少的非终端符号; 基于所述一个或多个减少的非终端中的至少一个和一组生产规则来生成一个或多个叶非终端; 以及基于用于产生所述一个或多个叶子非终端的生产规则的动作的结果并且基于所接收的字符串的描述来生成动作和数据。

公开(公告)号：US07197746B1

公开(公告)日：2007-03-27

申请号：US10459923

申请日：2003-06-12

申请人： Robert N. Goldberg

发明人： Robert N. Goldberg

IPC分类号： G06F9/45

CPC分类号： G06F8/425

摘要： A method for lexically analyzing an input stream including invoking a multipurpose lexical analyzer, wherein invoking the multipurpose lexical analyzer comprises examining a parameter setting, scanning the input stream to obtain a token using a token definition, and determining whether to ignore the token using the parameter setting, returning the token to a calling process if the token is to be processed.

摘要翻译： 一种用于词法分析包括调用多用途词法分析器的输入流的方法，其中调用所述多用途词法分析器包括检查参数设置，使用令牌定义扫描所述输入流以获得令牌，以及使用所述参数来确定是否忽略所述令牌 设置，如果要处理令牌，则将令牌返回到调用进程。