The following pages link to Calculating with procedure calls (Q685524):
Displaying 7 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- Equivalence of the Gries and Martin proof rules for procedure calls (Q1065535) (← links)
- A sharp proof rule for procedures in WP semantics (Q1104730) (← links)
- Calculating sharp adaptation rules. (Q1607103) (← links)
- Calculating with pointers (Q1822921) (← links)
- Safety and progress of recursive procedures (Q1903075) (← links)