Discovery of invariant equalities in programs over data fields
From MaRDI portal
Publication:1311622
DOI10.1007/BF01200151zbMath0818.68098OpenAlexW2022712887MaRDI QIDQ1311622
Publication date: 1 February 1994
Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01200151
Related Items (5)
Analysis of linear definite iterative loops ⋮ The structure of polynomial invariants of linear loops ⋮ Nonlinear invariants for linear loops and eigenpolynomials of linear operators ⋮ Polynomial invariants for linear loops ⋮ A method of proving the invariance of linear inequalities for linear loops
Cites Work
This page was built for publication: Discovery of invariant equalities in programs over data fields
