Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Hoare logic · Vinony

EntityQ1375924· pop 18· linked from 76 articles

Hoare logic

Sign in to save

formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs

Connections

operational semantics

dynamic program analysis

International Standard Book Number

University of Oxford

computer programming

Lomonosov Moscow State University

digital object identifier

mathematical logic

Edsger W. Dijkstra

Andrey Kolmogorov

Categories

1969 in computing Program logic Static program analysis Tony Hoare

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

rule-based system

Entitydist 0.51

Entitydist 0.54

automated information system

Entitydist 0.59

conceptual graph

Entitydist 0.59

Microsoft Pascal

Entitydist 0.59

Entitydist 0.59

Entitydist 0.60

Category:Computer arithmetic algorithms

Entitydist 0.60

forward chaining

Entitydist 0.61

system of equations

Entitydist 0.61

Entitydist 0.61

Entitydist 0.61

What links here76 pages

design by contract

predicate transformer semantics

programming language semantics

static program analysis

short-circuit evaluation

programming language theory

Edmund M. Clarke

functional programming

stack-oriented programming

process calculus

dining philosophers problem

formal verification

glossary of artificial intelligence