Pages that link to "Item:Q3777432"
From MaRDI portal
The following pages link to Invariant inequalities in programs interpreted over an ordered field (Q3777432):
Displaying 5 items.
- Analysis of linear definite iterative loops (Q289808) (← links)
- Discovery of invariant equalities in programs over data fields (Q1311622) (← links)
- A method of proving the invariance of linear inequalities for linear loops (Q2263332) (← links)
- (Q3033332) (← links)
- Iterative methods of program analysis: Equalities and inequalities (Q4007457) (← links)