Pages that link to "Item:Q1101439"
From MaRDI portal
The following pages link to Predicate-transformer semantics of general recursion (Q1101439):
Displaying 16 items.
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- A general proof rule for procedures in predicate transformer semantics (Q797986) (← links)
- Command algebras, recursion and program transformation (Q911748) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Processes and formalisms for unbounded choice (Q1193892) (← links)
- A recursion theorem for predicate transformers on inductive data types (Q1330667) (← links)
- The weakest precondition calculus: Recursion and duality (Q1346768) (← links)
- Predicate transformers for recursive procedures with local variables (Q1578396) (← links)
- Generic transformations of predicate encodings: constructions and applications (Q1675716) (← links)
- WP Semantics and Behavioral Subtyping (Q3105750) (← links)
- Syntactic translations and provably recursive functions (Q3722497) (← links)
- (Q3759933) (← links)
- Programs, Recursion and Unbounded Choice (Q4023579) (← links)
- A Generalized Modality for Recursion (Q5145323) (← links)
- An Inductive Theorem on the Correctness of General Recursive Programs (Q5436982) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703803) (← links)