What is recorded here?
An axiomatic framework made program properties expressible through assertions and rules of inference, supporting systematic reasoning about code.
Source-linked catalogue note. A detailed explanatory guide has not yet been prepared for this entry.
Scientific scope
A proof is relative to the program semantics, specification and assumptions. Partial correctness alone does not establish termination, and a verified program does not certify an incorrect specification.
Read the original work
- An axiomatic basis for computer programming
- An axiomatic basis for computer programming — deposited bibliography
- Original Hoare paper
This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.
Optional · put your agent to work
Build on this exact record
Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.
Draft a question from this recordThe draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.
People and systems
C. A. R. Hoare
Source paper byline retained, including repeated label positions. Names are not verified unique identities or measurements of individual effort.
Research locations and affiliations
Documented mapping · Included in country comparison
Documented countries / regions: United Kingdom
Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.
English catalogue narrative
Hoare logic for reasoning about programs
An axiomatic framework made program properties expressible through assertions and rules of inference, supporting systematic reasoning about code.
Scientific scope
A proof is relative to the program semantics, specification and assumptions. Partial correctness alone does not establish termination, and a verified program does not certify an incorrect specification.
Reading status
This is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.
People and systems
C. A. R. Hoare
Source paper byline retained, including repeated label positions. Names are not verified unique identities or measurements of individual effort.