Pages that link to "Item:Q3698287"

The following pages link to Search for invariant linear relationships in programs (Q3698287):

Displaying 3 items.

• Analysis of linear definite iterative loops (Q289808) (← links)
• Program verification: state of the art, problems, and results. I (Q466416) (← links)
• A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)