Patent · US Active

Recursive expression simplification

US9424011B2 · kind B2 · utility

0Cited by

2References

8Claims

0Family size

Assignee

International Business Machines Corporation · US

Inventors

Shimin Cui · North York, CA
Yaoqing Gao · Toronto, CA

Key dates

Filing date	Apr 1, 2014
Grant date	Aug 23, 2016
Priority date	—
Expiry date	Apr 1, 2034

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/4441
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A computer-implemented method, carried out by one or more processors, for recursive expression reduction. In an embodiment, the method comprises the steps of identifying a candidate loop, where the candidate loop includes at least one or more reduction variables and reduction operations; altering grouping of loop invariants and loop variants within the candidate loop; and performing recursive expression simplification for an inner loop, wherein the inner loop is located within the candidate loop.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.