Method using array range check information for generating...

Details Method using array range check information for generating... Method using array range check information for generating...

2007-08-21

2007-08-21

Vu, Tuan A (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

Reexamination Certificate

active

10334180

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: 5381550 (1995-01-01), Jourdenais et al.
patent: 5535329 (1996-07-01), Hastings
patent: 5745121 (1998-04-01), Politis
patent: 5889999 (1999-03-01), Breternitz et al.
patent: 5933855 (1999-08-01), Rubinstein
patent: 6149318 (2000-11-01), Chase et al.
patent: 6324629 (2001-11-01), Kulkarni et al.
patent: 6343375 (2002-01-01), Gupta et al.
patent: 6378066 (2002-04-01), Lewis
Roth, et al., “Array codes with Progressive Redundancy”, IEEE, 1997.
Poras, et al., “Energy Optimization of Multilevel Cache architectures for RISC and CISC Processors” IEEE, 1998.
Asuru “Optimization of Array Subscript Range Checks”, ACM Letters on Programming Languages and Systems, vol. 1, No. 2, Jun. 1992, pp. 109-118.
Chin, et al., “A Reexamination of ‘Optimization of Array Subcript Range Checks’”, ACM Transactions on Programming Languages and Systems, vol. 17, No. 2, Mar. 1995, pp. 217-227.
Adl-Tabatabal, et al., “Fast, Effective Code Generation in a Just-In-Time Java Compiler”, SIGPLAN '98, Montreal, Canada, ACM 0-89791-987-4/98/0006, pp. 280-290.
Chambers, et al., “Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs”, Originally published of the Proceedings of the ACM SIGLAND '90 conference on Programming Language Design and Implementation (SIGPLAN Notices, 25, 6(1990) 150-162).
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.
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.
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.

Affiliated with

Also associated with

Rating

Method using array range check information for generating... 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 using array range check information for generating..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method using array range check information for generating... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3854674