The Determination of Loop Invariants for Programs with Arrays
From MaRDI portal
Publication:3914404
DOI10.1109/TSE.1981.234517zbMath0463.68016MaRDI QIDQ3914404
Publication date: 1981
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (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
