Proof — Hoare logic

Statement

Axiomatic semantics; Quicksort; CSP. Proved in ZFC.

Source

ACM Turing Award 1980. Axiomatic semantics; Quicksort; CSP. Proved in ZFC.

Domains

computer-science

People

• Tony Hoare

Related

• Theorem: Hoare logic
• Proof: Hoare logic

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People