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 MoreMetadata
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)