The Determination of Loop Invariants for Programs with Arrays

DOI10.1109/TSE.1981.234517MaRDI QIDQ3914404zbMATH OpenFDO

Authors Hamed A. Ellozy

Publication date 1981

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1981.234517

zbMATH Keywords

loop invariantsprogram validationloop predicatesprograms with arrays

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• A method for computing the number of iterations in data dependent loops
• Mechanical inference of invariants for FOR-loops

This page was built for publication: The Determination of Loop Invariants for Programs with Arrays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3914404)