Pages that link to "Item:Q1311622"
From MaRDI portal
The following pages link to Discovery of invariant equalities in programs over data fields (Q1311622):
Displaying 10 items.
- Analysis of linear definite iterative loops (Q289808) (← links)
- Nonlinear invariants for linear loops and eigenpolynomials of linear operators (Q466366) (← links)
- The structure of polynomial invariants of linear loops (Q891730) (← links)
- The map equality domain (Q1629967) (← links)
- A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)
- Computing polynomial program invariants (Q2390319) (← links)
- Polynomial invariants for linear loops (Q2452765) (← links)
- The Daikon system for dynamic detection of likely invariants (Q2463543) (← links)
- (Q3033332) (← links)
- Invariant inequalities in programs interpreted over an ordered field (Q3777432) (← links)