About: Hoare logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

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

Property	Value
dbo:description	formalisme logique permettant de raisonner sur la correction des programmes informatiques (fr) formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs (en) formales System, um die Korrektheit von Programmen nachzuweisen (de)
dbo:wikiPageExternalLink	http://j-algo.binaervarianz.de/index.php%3Flanguage=en http://www.cs.queensu.ca/home/specsoft/ https://web.archive.org/web/20071117054808/http:/www.key-project.org/download/hoare/
dbo:wikiPageWikiLink	dbr:Imperative_programming dbr:Assertion_(software_development) dbr:Integer dbr:Aliasing_(computing) dbr:Positive_real_numbers dbc:Static_program_analysis dbr:Tony_Hoare dbr:Pointer_(computer_programming) dbc:1969_in_computing dbr:Free_variables_and_bound_variables dbr:Formal_system dbr:Termination_analysis dbr:Substitution_(logic) dbr:Static_program_analysis dbr:Concurrency_(computer_science) dbr:Precondition dbr:Design_by_contract dbr:Denotational_semantics dbr:Program_transformation dbr:Axiom dbr:Robert_W._Floyd dbr:Postcondition dbr:Dynamic_logic_(modal_logic) dbr:Well-founded_relation dbr:Mathematical_logic dbr:Loop_variant dbr:Formal_verification dbr:Flowchart dbr:Loop_invariant dbc:Program_logic dbr:Predicate_transformer_semantics dbr:Chain_(order_theory) dbr:NOP_(code) dbr:KeY dbr:Procedure_(computer_science) dbr:Predicate_logic dbr:Jump_(computer_science) dbr:Termination_proof dbr:Correctness_of_computer_programs dbr:Partial_correctness dbr:Assertion_(computing) dbr:Inference_rule dbr:Minimal_element dbr:Total_correctness
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Quote dbt:Columns-list dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Use_dmy_dates dbt:Mvar dbt:Mono dbt:Harvnb dbt:Program_analysis dbt:Short_description
dct:subject	dbc:Static_program_analysis dbc:1969_in_computing dbc:Program_logic
gold:hypernym	dbr:System
rdfs:label	Hoare logic (en) Lógica de Hoare (es) Hoare-Kalkül (de) Logica di Hoare (it) Logique de Hoare (fr) ホーア論理 (ja) Logika Hoare’a (pl) Lógica de Hoare (pt) Hoarelogica (nl) Логіка Гоара (uk) Логика Хоара (ru) 霍尔逻辑 (zh)
owl:sameAs	freebase:Hoare logic http://d-nb.info/gnd/4343105-7 yago-res:Hoare logic wikidata:Hoare logic dbpedia-it:Hoare logic dbpedia-nl:Hoare logic dbpedia-de:Hoare logic dbpedia-fr:Hoare logic dbpedia-zh:Hoare logic dbpedia-ja:Hoare logic dbpedia-pt:Hoare logic dbpedia-es:Hoare logic dbpedia-ru:Hoare logic dbpedia-vi:Hoare logic dbpedia-pl:Hoare logic dbpedia-sk:Hoare logic dbpedia-uk:Hoare logic dbpedia-global:Hoare logic dbr:Hoare logic
prov:wasDerivedFrom	wikipedia-en:Hoare_logic?oldid=1286642318&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Hoare_logic
is dbo:knownFor of	dbr:Tony_Hoare
is dbo:wikiPageDisambiguates of	dbr:Hoare
is dbo:wikiPageRedirects of	dbr:Hoare_calculus dbr:Hoare_rules dbr:Hoare_triple dbr:Floyd-Hoare_logic dbr:Floyd–Hoare_logic dbr:Midcondition
is dbo:wikiPageWikiLink of	dbr:Axiomatic_semantics dbr:Functional_programming dbr:ITMO_University dbr:Process_calculus dbr:Assertion_(software_development) dbr:Separation_logic dbr:Stack-oriented_programming dbr:ParaSail_(programming_language) dbr:Tony_Hoare dbr:Cliff_Jones_(computer_scientist) dbr:Deaths_in_September_2001 dbr:Java_Modeling_Language dbr:Refinement_(computing) dbr:Static_program_analysis dbr:Precondition dbr:Design_by_contract dbr:Liskov_substitution_principle dbr:Behavior-driven_development dbr:Index_of_software_engineering_articles dbr:Program_derivation dbr:List_of_pioneers_in_computer_science dbr:Merton_College,_Oxford dbr:Semantics_(computer_science) dbr:Edmund_M._Clarke dbr:Robert_W._Floyd dbr:Correctness_(computer_science) dbr:Postcondition dbr:Invariant_(mathematics) dbr:Dynamic_logic_(modal_logic) dbr:Short-circuit_evaluation dbr:Safety_and_liveness_properties dbr:Formal_verification dbr:Loop_invariant dbr:Glossary_of_artificial_intelligence dbr:Krzysztof_R._Apt dbr:Predicate_transformer_semantics dbr:Bunched_logic dbr:Frame_problem dbr:Programming_language_theory dbr:ANSI/ISO_C_Specification_Language dbr:On_the_Cruelty_of_Really_Teaching_Computer_Science dbr:Grigore_Roșu dbr:Dafny dbr:John_V._Tucker dbr:Interference_freedom dbr:Verification_condition_generator dbr:Hoare dbr:Matching_logic dbr:TLA+ dbr:List_of_important_publications_in_computer_science dbr:List_of_important_publications_in_theoretical_computer_science dbr:Hoare_calculus dbr:Hoare_rules dbr:Hoare_triple dbr:Floyd-Hoare_logic dbr:Floyd–Hoare_logic dbr:Midcondition
is foaf:primaryTopic of	wikipedia-en:Hoare_logic