SWhat changed
Associated assertions with flowchart points and gave rules for checking program partial correctness and termination.
Scientific scope
The record is Floyd's sole-author 1967 proceedings chapter. It does not absorb Hoare's later axiomatic system, denotational semantics or every subsequent program-verification method.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Floyd's sole-author 1967 proceedings chapter. It does not absorb Hoare's later axiomatic system, denotational semantics or every subsequent program-verification method.
Contributors
- Robert W. Floyd · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction