Search for invariant linear relationships in programs

DOI10.1007/BF01072165MaRDI QIDQ3698287zbMATH OpenFDO

Authors S. L. Krivoj, S. G. Raksha

Publication date 1984

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01072165

zbMATH Keywords

invariant relationshipsProgram analysisProgram invariance

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• Algorithm to find invariant linear inequality constraints in programs
• Heuristic search for invariants for one class of programs. 6
• Algebraic program analysis
• scientific article; zbMATH DE number 3911685

Cites work

• Monotone data flow analysis frameworks

Cited in

(6)

• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• A method of proving the invariance of linear inequalities for linear loops
• Analysis of linear definite iterative loops
• When is a formula a loop invariant?
• Algorithm to find invariant linear inequality constraints in programs
• Program verification: state of the art, problems, and results. I

This page was built for publication: Search for invariant linear relationships in programs

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