Disambiguation evidence for Hoare logic via surface form

"Hoare logic"

Triples (9)

Triples where some other subject referred to this entity as "Hoare logic".

Tony Hoare → notableWork →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ
Temporal Logic of Actions → comparedWith →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ
Types and Programming Languages (research contributions) → influencedBy →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ
The Logic of Computer Programming → relatedConcept →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ
Design by Contract → relatedTo →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ
A Discipline of Programming → relatedTo →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ
An Axiomatic Basis for Computer Programming → topic →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ
An Axiomatic Basis for Computer Programming → introduced →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ
Dijkstra weakest precondition calculus → relatedTo →
"Hoare logic"
↳ resolves to Hoare logic
ⓘ