Analysis of linear definite iterative loops

DOI10.1007/S10559-016-9806-5MaRDI QIDQ289808zbMATH OpenOpenAlexFDO

Authors M. S. Lvov

Publication date 31 May 2016

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-016-9806-5

zbMATH Keywords

static program analysisinvariant systems of linear inequalitieslinear loop invariants

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A method of proving the invariance of linear inequalities for linear loops
• Polynomial invariants for linear loops
• The structure of polynomial invariants of linear loops
• Reflections on termination of linear loops
• Termination analysis of linear loop programs

Cites work

• scientific article; zbMATH DE number 600607 (Why is no real title available?)
• scientific article; zbMATH DE number 2012129 (Why is no real title available?)
• scientific article; zbMATH DE number 4113989 (Why is no real title available?)
• scientific article; zbMATH DE number 3246235 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• A method of proving the invariance of linear inequalities for linear loops
• An axiomatic basis for computer programming
• Automatic Generation of Polynomial Loop Invariants
• Computing polynomial program invariants
• Discovery of invariant equalities in programs over data fields
• Invariant inequalities in programs interpreted over an ordered field
• Iterative methods of program analysis
• Iterative methods of program analysis: Equalities and inequalities
• Non-linear loop invariant generation using Gröbner bases
• Nonlinear invariants for linear loops and eigenpolynomials of linear operators
• Polynomial invariants for linear loops
• Precise interprocedural analysis through linear algebra
• Search for invariant linear relationships in programs

Cited in

(2)

• scientific article; zbMATH DE number 1948393 (Why is no real title available?)
• A method of proving the invariance of linear inequalities for linear loops

This page was built for publication: Analysis of linear definite iterative loops

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