发明名称 Compiler optimisation of source code by determination and utilization of the equivalence of algebraic expressions in the source code
摘要 A computer program product and computer system for implementing a method of compiler optimisation of source code during compilation of the source code in a computer environment. The compiler optimisation of source code includes: recasting two algebraic expressions into a form of one or more token pairs arranged sequentially in a string, each token pair including an operator followed by an operand; reducing the strings in accordance with a set of predetermined simplifying rules; and comparing the reduced strings by matching to detect an equivalence of the two algebraic expressions.
申请公布号 US8028280(B2) 申请公布日期 2011.09.27
申请号 US20080015591 申请日期 2008.01.17
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 BERA RAJENDRA KUMAR
分类号 G06F9/45 主分类号 G06F9/45
代理机构 代理人
主权项
地址