The characterization problem for Hoare logics
From MaRDI portal
Publication:3732959
DOI10.1098/rsta.1984.0068zbMath0598.68035OpenAlexW2015552920MaRDI QIDQ3732959
Publication date: 1984
Published in: Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rsta.1984.0068
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (2)
Some general incompleteness results for partial correctness logics ⋮ Reasoning about procedures as parameters in the language L4
This page was built for publication: The characterization problem for Hoare logics
