Hoare logic
From Library of Congress Subject Headings
Hoare logic
URI(s)
- http://id.loc.gov/authorities/subjects/sh2005007311
- info:lc/authorities/sh2005007311
- http://id.loc.gov/authorities/sh2005007311#concept
Instance Of
Scheme Membership(s)
Collection Membership(s)
Variants
- Hoare's logic
Broader Terms
Sources
- found: Work cat.: Takaoka, T. A decomposition rule for Hoare logic, 1986: leaf 1 (This note presents a mechanism, called a decomposition rule, which reduces the complexity of theorem proving in program verification by the Hoare logic)
- found: Wikipedia, Nov. 1, 2005 (Hoare logic is a formal system developed by the British computer scientist C.A.R. Hoare, and published in his 1969 paper An Axiomatic Basis for Computer Programming. The purpose of the system is to provide a set of logical rules that one can use to reason about computer programs with the rigor of mathematical logic)
- found: Dictionary of computing, 1996: pp. 226-227 (Hoare logic -- A formalism for partial correctness proofs ... Many remarkable insights into program correctness have been obtained from the mathematical study of Hoare logic)
- found: Encyclopedia of computer science, 2000: p. 1465 (An axiomatic semantics abstracts program properties away from input-output behavior and into logical behavior: a standard example is Hoare logic, where program properties are formulas in propositional logic)
- found: OCLC, Nov. 1, 2005 (titles: Proving program inclusion using Hoare's logic; A brief study in automatic proofs based on a refined Hoare-logic; Process algebra with guards : combining Hoare logic with process algebra; Hoare logic for GOLOG programs)
Change Notes
- 2006-03-15: new
- 2006-03-15: revised
Alternate Formats
Suggest terminology
The LC Authorities and Vocabularies service welcomes any suggestions you might have about terminology used for a given heading or concept.
Would you like to suggest a change to this heading?
Please provide your name, email, and your suggestion so that we can begin assessing any terminology changes.
Alternatively, you can contact us directly at idfeedback@loc.gov.
Fields denoted with an asterisk (*) are required.
