A critique of the foundations of Hoare style programming logics
From MaRDI portal
Publication:3959405
DOI10.1145/358728.358748zbMath0495.68018OpenAlexW2088982416MaRDI QIDQ3959405
Publication date: 1982
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://docs.lib.purdue.edu/cstech/267
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (max. 100)
A compositional natural semantics and Hoare logic for low-level languages ⋮ Weakest preconditioned goto axiom ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Hoare type theory, polymorphism and separation ⋮ Propositions and specifications of programs in Martin-Löf's type theory ⋮ On verification of programs with goto statements
This page was built for publication: A critique of the foundations of Hoare style programming logics
