Pages that link to "Item:Q2265798"
From MaRDI portal
The following pages link to General correctness: A unification of partial and total correctness (Q2265798):
Displayed 12 items.
- Multirelations with infinite computations (Q406449) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- A calculus of refinements for program derivations (Q1111362) (← links)
- Combining angels, demons and miracles in program specifications (Q1199826) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- General correctness: A unification of partial and total correctness (Q2265798) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Of wlp and CSP (Q2994489) (← links)