Fifty years of Hoare's Logic

2019/04/08 by Krzysztof R. Apt, Apt, Krzysztof R., Ernst-Ruediger Olderog +1
Computer Science · #Advanced Malware Detection Techniques #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.1904.03917

openalex publication_date 2019/04/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We present a history of Hoare's logic.

Citations

• Ten years of Hoare's logic: A survey— part II: Nondeterminism
• Counterexample-guided abstraction refinement for symbolic model checking
• Reasoning about call-by-value: a missing result in the history of Hoare's logic

Related

• The Core Logic Paradox
• The antinomy of Mr. Gödel
• The Paradoxical Hobbes
• HARI SELDON'S DOCTOR OF PHILOSOPHY RESEARCH PROJECT
• Logicians at play; or Syll, Simp and Hilbert