Pages that link to "Item:Q797985"
From MaRDI portal
The following pages link to Strongest invariant functions: Their use in the systematic analysis of while statements (Q797985):
Displayed 7 items.
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- A versatile concept for the analysis of loops (Q444373) (← links)
- Mechanical inference of invariants for FOR-loops (Q604381) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)