Pages that link to "Item:Q3959405"
From MaRDI portal
The following pages link to A critique of the foundations of Hoare style programming logics (Q3959405):
Displaying 5 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Propositions and specifications of programs in Martin-Löf's type theory (Q800719) (← links)
- On verification of programs with goto statements (Q801657) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
