Pages that link to "Item:Q3698287"
From MaRDI portal
The following pages link to Search for invariant linear relationships in programs (Q3698287):
Displaying 5 items.
- Analysis of linear definite iterative loops (Q289808) (← links)
- Program verification: state of the art, problems, and results. I (Q466416) (← links)
- Generalizations of algorithms that find invariant relationships in programs over algebra of terms (Q1364103) (← links)
- A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)
- Algorithm to find invariant linear inequality constraints in programs (Q3741026) (← links)