Method and apparatus for performing versioning for loop,...

Details Method and apparatus for performing versioning for loop,... Method and apparatus for performing versioning for loop,...

2011-05-24

2011-05-24

Deng, Anna (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

Reexamination Certificate

active

07950005

ABSTRACT:
A system and method are provided that in one aspect eliminate redundant array range checks by performing a versioning for a loop. In another aspect, a system and method optimize array range checks by performing data-flow analysis in reverse order of the program execution. Yet in another aspect, a system and method obtains information about array ranges already checked by performing data-flow analysis in program execution order and eliminate redundant array range checks from this information.

REFERENCES:
patent: 5107418 (1992-04-01), Cramer et al.
patent: 5293631 (1994-03-01), Rau et al.
patent: 5535329 (1996-07-01), Hastings
patent: 5740440 (1998-04-01), West
patent: 5889999 (1999-03-01), Breternitz et al.
patent: 5933855 (1999-08-01), Rubinstein
patent: 6324629 (2001-11-01), Kulkarni et al.
patent: 6343375 (2002-01-01), Gupta et al.
patent: 6378066 (2002-04-01), Lewis
patent: 7080366 (2006-07-01), Kramskoy et al.
patent: 2008/0016507 (2008-01-01), Thomas et al.
Midkiff. et al. “Optimizing Array Reference Checking in Java Programs”, RC21184 (94652), May 18, 1998, Computer Science/Mathematics, IBM Research Division, TJ Watson Research Center, Yorktown Heights, NY 10598, pp. 409-453.
Auru, “Optimization of Array Subscript Range Checks”, ACM Letters on Programming Languages and System, vol. 1, No. 2 Jun. 1992, pp. 109-118.
Kolte et al. “Elimination of Redundant Array subscript Range Checks”, ACM SIGPLAN '95 conference on Programming Language Design and Implementation, LaJolla, CA, Jun. 18-21, 1995, pp. 270-278.
Gupta, Optimizing Array Bound Checks Using Flow Analysis, University of Pittsburgh, ACM Letters on Programming Languages and Systems, vol. 2, Nos. 1-4, Mar.-Dec. 1993, pp. 135-150.

Affiliated with

Also associated with

Rating

Method and apparatus for performing versioning for loop,... 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 and apparatus for performing versioning for loop,..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for performing versioning for loop,... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2687626