The Determination of Loop Invariants for Programs with Arrays | IEEE Journals & Magazine | IEEE Xplore
Subscribe
ADVANCED SEARCH
Journals & Magazines >IEEE Transactions on Software... >Volume: SE-7 Issue: 2

The Determination of Loop Invariants for Programs with Arrays

PDF
H.A. Ellozy
All Authors

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

Metadata

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:

DOI: 10.1109/TSE.1981.234517

Contact IEEE to Subscribe

References

References is not available for this document.

IEEE Account

Purchase Details

Profile Information

Need Help?

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2025 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.