Pages that link to "Item:Q1156476"
From MaRDI portal
The following pages link to A simple relation between relational and predicate transformer semantics for nondeterministic programs (Q1156476):
Displaying 5 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- On the notion of expressiveness and the rule of adaptation (Q1838825) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- General correctness: A unification of partial and total correctness (Q2265798) (← links)
