Pages that link to "Item:Q1177155"
From MaRDI portal
The following pages link to Data refinement of predicate transformers (Q1177155):
Displaying 16 items.
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Algebraic proofs of consistency and completeness (Q672320) (← links)
- Games and winning strategies (Q674272) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Refinement concepts formalised in higher order logic (Q916409) (← links)
- Auxiliary variables in data refinement (Q1114384) (← links)
- Mechanizing some advanced refinement concepts (Q1309250) (← links)
- The lattice of data refinement (Q1323380) (← links)
- A formal model of real-time program compilation (Q1603710) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- External and internal choice with event groups in Event-B (Q1941871) (← links)
- Set-Theoretic Models of Computations (Q2842623) (← links)
- A Generalisation of Stationary Distributions, and Probabilistic Program Algebra (Q4917061) (← links)
