Pages that link to "Item:Q1578396"
From MaRDI portal
The following pages link to Predicate transformers for recursive procedures with local variables (Q1578396):
Displaying 6 items.
- Calculating with procedure calls (Q685524) (← links)
- Frame rule for mutually recursive procedures manipulating pointers (Q732009) (← links)
- Command algebras, recursion and program transformation (Q911748) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Predicate-transformer semantics of general recursion (Q1101439) (← links)
- Safety and progress of recursive procedures (Q1903075) (← links)