Pages that link to "Item:Q3055748"
From MaRDI portal
The following pages link to Unifying Recursion in Partial, Total and General Correctness (Q3055748):
Displaying 12 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Normal design algebra (Q844885) (← links)
- Semantic inheritance in unifying theories of programming (Q1941890) (← links)
- General correctness: A unification of partial and total correctness (Q2265798) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Unifying Correctness Statements (Q2908567) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls (Q3741013) (← links)
- Correctness of unification without occur check in prolog (Q4285641) (← links)
- An Inductive Theorem on the Correctness of General Recursive Programs (Q5436982) (← links)