Pages that link to "Item:Q1199826"
From MaRDI portal
The following pages link to Combining angels, demons and miracles in program specifications (Q1199826):
Displaying 9 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Efficient weakest preconditions (Q835051) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Joining specification statements (Q1285666) (← links)
- Mechanizing some advanced refinement concepts (Q1309250) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- BGSL: an imperative language for specification and refinement of backtracking programs (Q2096419) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- The algebra of multirelations (Q4925034) (← links)
