Abstract
The problem of generating polynomial invariants of special type for iterative loops with a linear mapping in the loop body is considered. A technique is proposed to generate such invariants based on the analysis of characteristic polynomials of linear mappings.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have