The following pages link to A practical theory of programming (Q808685):
Displaying 6 items.
- An elementary and unified approach to program correctness (Q607408) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- The laws of Occam programming (Q2640348) (← links)
- Programming for behaviour (Q2767983) (← links)
- Programs are predicates (Q3347251) (← links)
- (Q4721623) (← links)