Computer-program compilers comprising a program augmentation capability
First Claim
Patent Images
1. A method for optimizing a source program having a logic structure that includes one or more executable paths containing mathematical expressions, said method comprising:
- (a) integrating within a compiler a means for tracking global dependency information contained within one or more executable paths generated during a compiler process, a means for recognizing and eliminating redundant mathematical expressions found along any said one or more executable paths, and a means for augmenting one or more types of mathematical expressions;
(b) specifying one or more operations to be performed upon said one or more types of mathematical expressions contained within said first source program; and
, (c) compiling said source program to automatically generate a target program containing augmented mathematical expressions including symbolic representations of said one or more specified operations to be performed upon said one or more types of mathematical expressions, said augmenting means utilizing said global dependency information and said redundant mathematical expression elimination along one or more paths of said target program to optimize generation of said augmented mathematical expressions within said target program.
0 Assignments
0 Petitions
Accused Products
Abstract
A method for optimizing and transforming a compiler program in a computer system. The method comprises the steps of constructing a compiler comprising a program augmentation capability; and, locating this capability in association with phases of a standard compilation process. The program augmentation capability may comprise symbolic automatic differentiation, or generation of Taylor series, or generation of Hessian or Jacobian matrices.
30 Citations
2 Claims
-
1. A method for optimizing a source program having a logic structure that includes one or more executable paths containing mathematical expressions, said method comprising:
-
(a) integrating within a compiler a means for tracking global dependency information contained within one or more executable paths generated during a compiler process, a means for recognizing and eliminating redundant mathematical expressions found along any said one or more executable paths, and a means for augmenting one or more types of mathematical expressions;
(b) specifying one or more operations to be performed upon said one or more types of mathematical expressions contained within said first source program; and
,(c) compiling said source program to automatically generate a target program containing augmented mathematical expressions including symbolic representations of said one or more specified operations to be performed upon said one or more types of mathematical expressions, said augmenting means utilizing said global dependency information and said redundant mathematical expression elimination along one or more paths of said target program to optimize generation of said augmented mathematical expressions within said target program. - View Dependent Claims (2)
-
Specification
-
- Resources
Litigation Campaign Assessment
Thank you for your request. You will receive a custom alert email when the Litigation Campaign Assessment is available.
×
-
Current AssigneeInternational Business Machines Corporation
-
Original AssigneeInternational Business Machines Corporation
-
InventorsWilliams, Richard Quimby, Watt, Stephen Michael, Bittner, Calvin John, Jenks, Richard Dimick, Grossman, Bertrand M.
-
Primary Examiner(s)Chaki, Kakali
-
Assistant Examiner(s)Chavis, John Q.
-
Application NumberUS09/071,115Time in Patent Office1,089 DaysField of Search717/9US Class Current717/154CPC Class CodesG06F 8/443 Optimisation
