Lifting General Correctness into Partial Correctness is ok
From MaRDI portal
Publication:3608885
Recommendations
- General correctness: A unification of partial and total correctness
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language
- Predicate-transformer semantics of general recursion
- Formalising general correctness
- General correctness algebra
This page was built for publication: Lifting General Correctness into Partial Correctness is ok
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608885)