The Determination of Loop Invariants for Programs with Arrays | IEEE Journals & Magazine | IEEE Xplore

The Determination of Loop Invariants for Programs with Arrays


Abstract:

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 ...Show More

Abstract:

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.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-7, Issue: 2, March 1981)
Page(s): 197 - 206
Date of Publication: 31 March 1981

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.