Inferencing types of variables in a dynamically typed language
    2.
    发明申请
    Inferencing types of variables in a dynamically typed language 审中-公开
    以动态类型语言推断变量类型

    公开(公告)号:US20080178149A1

    公开(公告)日:2008-07-24

    申请号:US11698252

    申请日:2007-01-24

    IPC分类号: G06F9/44

    CPC分类号: G06F8/437 G06F8/443

    摘要: A computer is programmed to identify types of variables, in a computer program which includes a number of variables that are used without any explicit indication of their type, by repeatedly performing at least propagation of types from variables' definitions to variables' uses and removal of unreachable code. Repetition of type propagation from definitions to uses and removal of unreachable code is one aspect of the invention. The repetition can be terminated differently in different embodiments. In many embodiments, the repetition is performed until no unreachable code is found.

    摘要翻译: 计算机被编程为在计算机程序中识别变量的类型,该计算机程序包括多个变量,其使用没有任何明确指示其类型,通过重复执行至少从变量的定义到变量的使用和移除的类型的传播 无法访问的代码 从定义到使用和移除不可达代码的类型传播的重复是本发明的一个方面。 在不同的实施例中,重复可以不同地终止。 在许多实施例中,执行重复,直到找不到不可达代码。

    System and method for dynamically designing and evaluating configurable processor instructions
    4.
    发明授权
    System and method for dynamically designing and evaluating configurable processor instructions 有权
    用于动态设计和评估可配置处理器指令的系统和方法

    公开(公告)号:US06701515B1

    公开(公告)日:2004-03-02

    申请号:US09323161

    申请日:1999-05-27

    IPC分类号: G06F944

    CPC分类号: G06F17/5045

    摘要: In selecting and building a processor configuration, a user creates a new set of user-defined instructions, places them in a file directory, and invokes a tool that processes the user instructions and transforms them into a form usable by the software development tools. The user then invokes the software development tools, telling the tools to dynamically use the instructions created in the new directory. In this way, the user may customize a processor configuration by adding new instructions and within minutes, be able to evaluate that feature. The user is able to keep multiple sets of potential instructions and easily switch between them when evaluating their application.

    摘要翻译: 在选择和构建处理器配置时,用户创建一组新的用户定义的指令,将它们放置在文件目录中,并调用处理用户指令并将其转换为可由软件开发工具使用的形式的工具。 用户然后调用软件开发工具,告诉工具动态地使用在新目录中创建的指令。 以这种方式,用户可以通过添加新的指令来定制处理器配置,并且在几分钟内能够评估该特征。 用户能够保持多组潜在的指令,并在评估应用程序时轻松地在它们之间切换。