The following pages link to Martin C. Henson (Q706505):
Displaying 12 items.
- A logic for schema-based program development (Q706506) (← links)
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- The specification logic \(\nu \)Z (Q851135) (← links)
- The standard logic of \(Z\) is inconsistent (Q1293887) (← links)
- Revising \(Z\). I: Logic and semantics (Q1974477) (← links)
- Revising \(Z\). II: Logical development (Q1974478) (← links)
- (Q2863832) (← links)
- (Q2863834) (← links)
- (Q3316567) (← links)
- On the Proof Theory of Program Transformations (Q4847375) (← links)
- An Intensional Semantics for Elementary Program Transformations (Q4847377) (← links)
- Investigating Z (Q4952026) (← links)
