Analysis of linear definite iterative loops

DOI10.1007/S10559-016-9806-5zbMATH Open1356.68045OpenAlexW2273710723MaRDI QIDQ289808FDOQ289808

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

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

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)

Cites Work

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

Cited In (1)

• Title not available (Why is that?)

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)