Pages that link to "Item:Q1903075"
From MaRDI portal
The following pages link to Safety and progress of recursive procedures (Q1903075):
Displaying 6 items.
- Calculating with procedure calls (Q685524) (← links)
- Weakest preconditions for progress (Q1189258) (← links)
- The weakest precondition calculus: Recursion and duality (Q1346768) (← links)
- Predicate transformers for recursive procedures with local variables (Q1578396) (← links)
- Calculating sharp adaptation rules. (Q1607103) (← links)
- (Q4364365) (← links)