Pages that link to "Item:Q1350502"
From MaRDI portal
The following pages link to A relation algebraic model of robust correctness (Q1350502):
Displaying 8 items.
- Fixpoints for general correctness (Q549677) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Correctness criteria for algebraic closures of the estimate-calculating algorithm model (Q954216) (← links)
- Relational semantics revisited (Q2810687) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS (Q3988838) (← links)
- An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II (Q4454299) (← links)