Method, computer system and computer program product for...

Details Method, computer system and computer program product for... Method, computer system and computer program product for...

2005-09-20

2005-09-20

Das, Chameli C. (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S141000, C717S142000, C717S154000

Reexamination Certificate

active

06948161

ABSTRACT:
The present invention discloses a method for determining, in a computer environment, the equivalence, if any, of two blocks of assignment statements in a computer program for use in compiler optimization of source code, program verification, program proving, and like computing tasks. The method, inter alia, successfully eliminates, from a block of assignment statements, all intermediate variables and statements which are identities and also those which are irrelevant to the computation of the output variables and brings the block to a form suitable for comparing two or more blocks of assignment statements. A system for carrying out the above method and a computer program product incorporating the method are also disclosed.

REFERENCES:
patent: 4692896 (1987-09-01), Sakoda et al.
patent: 5666533 (1997-09-01), Horiguchi et al.
patent: 6026235 (2000-02-01), Shaughnessy
patent: 6182284 (2001-01-01), Sreedhar et al.
patent: 6286135 (2001-09-01), Santhanam
patent: 6292168 (2001-09-01), Venable et al.
patent: 6415433 (2002-07-01), Callahan et al.
patent: 6427234 (2002-07-01), Chambers et al.
patent: 6654953 (2003-11-01), Beaumont et al.
patent: 6721941 (2004-04-01), Morshed et al.
patent: 6745384 (2004-06-01), Biggerstaff
TITLE: Global Value Numbers and Redundant Computations, author. Rosen et al, ACM, 1988.

Affiliated with

Also associated with

Rating

Method, computer system and computer program product for... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method, computer system and computer program product for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method, computer system and computer program product for... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3387674