This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
March 1981 (vol. 7 no. 2)
pp. 197-206
H.A. Ellozy, Computer Sciences Department, IBM Thomas J. Watson Research Center
This paper describes a method for the generation of loop predicates (or invariant assertions) for programs operating on arrays. The technique described is an application of difference equations.
Index Terms:
program validation, Difference equations, inductive assertions, invariant assertions, loop predicates
Citation:
H.A. Ellozy, "The Determination of Loop Invariants for Programs with Arrays," IEEE Transactions on Software Engineering, vol. 7, no. 2, pp. 197-206, March 1981, doi:10.1109/TSE.1981.234517
Usage of this product signifies your acceptance of the Terms of Use.