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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call