The Determination of Loop Invariants for Programs with Arrays

DOI10.1109/TSE.1981.234517zbMATH Open0463.68016MaRDI QIDQ3914404FDOQ3914404

Authors: Hamed A. Ellozy 

Publication date: 1981

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

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)