Search for invariant linear relationships in programs
From MaRDI portal
Publication:3698287
DOI10.1007/BF01072165zbMath0577.68025MaRDI QIDQ3698287
Publication date: 1984
Published in: Cybernetics (Search for Journal in Brave)
Related Items (3)
Analysis of linear definite iterative loops ⋮ Program verification: state of the art, problems, and results. I ⋮ A method of proving the invariance of linear inequalities for linear loops
Cites Work
This page was built for publication: Search for invariant linear relationships in programs
