The Community for Technology Leaders
Green Image
Issue No. 06 - June (1995 vol. 21)
ISSN: 0098-5589
pp: 497-505
ABSTRACT
A statement is considered to be monotonic with respect to a loop if its execution, during the successive iterations of a given execution of the loop, assigns a monotonically increasing or decreasing sequence of values to a variable. We present static analysis techniques to identify loop monotonic statements. The knowledge of loop monotonicity characteristics of statements which compute array subscript expressions is of significant value in a number of applications. We illustrate the use of this information in improving the efficiency of run-time array bound checking, run-time dependence testing, and on-the-fly detection of access anomalies. Given that a significant percentage of subscript expressions are monotonic, substantial savings can be expected by using these techniques.
INDEX TERMS
Access anomalies (data races), array bound checking, run-time dependence checking, static analysis, induction variables.
CITATION

R. Gupta and M. Spezialetti, "Loop Monotonic Statements," in IEEE Transactions on Software Engineering, vol. 21, no. , pp. 497-505, 1995.
doi:10.1109/32.391376
86 ms
(Ver 3.3 (11022016))