Hoare logic - CaLiGraph

Property	Value
rdf:type	owl:Thing owl:NamedIndividual
rdfs:label	Hoare logic
owl:sameAs	dbr:Hoare_logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Programming_language_theory http://en.wikipedia.org/wiki/Category:Main_topic_classifications http://en.wikipedia.org/wiki/Predicate_transformer_semantics http://en.wikipedia.org/wiki/Static_program_analysis
skos:prefLabel	Hoare logic
skos:altLabel	Hoare Floyd-Hoare approach Floyd–Hoare logic Hoare logic#Hoare triple Hoare style Hoare's conditional Hoare-style proof systems consequence rule of Hoare logic the Hoare calculus
is clgo:knownFor of	Tony Hoare

About: clgr:Hoare_logic