Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Hoare_logic> ?p ?o }
Showing triples 1 to 88 of
88
with 100 triples per page.
- Hoare_logic abstract "Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.".
- Hoare_logic wikiPageExternalLink index.php?language=en.
- Hoare_logic wikiPageExternalLink specsoft.
- Hoare_logic wikiPageExternalLink hoare.
- Hoare_logic wikiPageID "182708".
- Hoare_logic wikiPageLength "19699".
- Hoare_logic wikiPageOutDegree "50".
- Hoare_logic wikiPageRevisionID "689672784".
- Hoare_logic wikiPageWikiLink Aliasing_(computing).
- Hoare_logic wikiPageWikiLink Assertion_(software_development).
- Hoare_logic wikiPageWikiLink Axiom.
- Hoare_logic wikiPageWikiLink Branch_(computer_science).
- Hoare_logic wikiPageWikiLink Category:1969_in_computer_science.
- Hoare_logic wikiPageWikiLink Category:Program_logic.
- Hoare_logic wikiPageWikiLink Category:Static_program_analysis.
- Hoare_logic wikiPageWikiLink Communicating_sequential_processes.
- Hoare_logic wikiPageWikiLink Concurrency_(computer_science).
- Hoare_logic wikiPageWikiLink Correctness_(computer_science).
- Hoare_logic wikiPageWikiLink Denotational_semantics.
- Hoare_logic wikiPageWikiLink Design_by_contract.
- Hoare_logic wikiPageWikiLink Dynamic_logic_(modal_logic).
- Hoare_logic wikiPageWikiLink Edsger_W._Dijkstra.
- Hoare_logic wikiPageWikiLink Flowchart.
- Hoare_logic wikiPageWikiLink Formal_system.
- Hoare_logic wikiPageWikiLink Formal_verification.
- Hoare_logic wikiPageWikiLink Free_variables_and_bound_variables.
- Hoare_logic wikiPageWikiLink Imperative_programming.
- Hoare_logic wikiPageWikiLink Integer.
- Hoare_logic wikiPageWikiLink KeY.
- Hoare_logic wikiPageWikiLink Loop_invariant.
- Hoare_logic wikiPageWikiLink Loop_variant.
- Hoare_logic wikiPageWikiLink Mathematical_logic.
- Hoare_logic wikiPageWikiLink Maximal_element.
- Hoare_logic wikiPageWikiLink NOP.
- Hoare_logic wikiPageWikiLink Pointer_(computer_programming).
- Hoare_logic wikiPageWikiLink Positive_real_numbers.
- Hoare_logic wikiPageWikiLink Postcondition.
- Hoare_logic wikiPageWikiLink Precondition.
- Hoare_logic wikiPageWikiLink Predicate_logic.
- Hoare_logic wikiPageWikiLink Predicate_transformer_semantics.
- Hoare_logic wikiPageWikiLink Refinement_calculus.
- Hoare_logic wikiPageWikiLink Robert_W._Floyd.
- Hoare_logic wikiPageWikiLink Rule_of_inference.
- Hoare_logic wikiPageWikiLink Separation_logic.
- Hoare_logic wikiPageWikiLink Sequent_calculus.
- Hoare_logic wikiPageWikiLink Static_program_analysis.
- Hoare_logic wikiPageWikiLink Subroutine.
- Hoare_logic wikiPageWikiLink Substitution_(logic).
- Hoare_logic wikiPageWikiLink Termination_analysis.
- Hoare_logic wikiPageWikiLink Tony_Hoare.
- Hoare_logic wikiPageWikiLink Total_order.
- Hoare_logic wikiPageWikiLink Well-founded_relation.
- Hoare_logic wikiPageWikiLinkText "Floyd-Hoare approach".
- Hoare_logic wikiPageWikiLinkText "Floyd–Hoare logic".
- Hoare_logic wikiPageWikiLinkText "Hoare logic".
- Hoare_logic wikiPageWikiLinkText "Hoare style proof systems".
- Hoare_logic wikiPageWikiLinkText "Hoare style".
- Hoare_logic wikiPageWikiLinkText "consequence rule of Hoare logic".
- Hoare_logic wikiPageUsesTemplate Template:Authority_control.
- Hoare_logic wikiPageUsesTemplate Template:Citation_needed.
- Hoare_logic wikiPageUsesTemplate Template:Reflist.
- Hoare_logic wikiPageUsesTemplate Template:Sfrac.
- Hoare_logic subject Category:1969_in_computer_science.
- Hoare_logic subject Category:Program_logic.
- Hoare_logic subject Category:Static_program_analysis.
- Hoare_logic hypernym System.
- Hoare_logic type Method.
- Hoare_logic type Thing.
- Hoare_logic comment "Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.".
- Hoare_logic label "Hoare logic".
- Hoare_logic sameAs Q1375924.
- Hoare_logic sameAs Hoare-Kalkül.
- Hoare_logic sameAs Lógica_de_Hoare.
- Hoare_logic sameAs Logique_de_Hoare.
- Hoare_logic sameAs Logica_di_Hoare.
- Hoare_logic sameAs ホーア論理.
- Hoare_logic sameAs Hoarelogica.
- Hoare_logic sameAs Logika_Hoarea.
- Hoare_logic sameAs Lógica_de_Hoare.
- Hoare_logic sameAs m.018z8r.
- Hoare_logic sameAs Логика_Хоара.
- Hoare_logic sameAs Hoareova_logika.
- Hoare_logic sameAs Логіка_Гоара.
- Hoare_logic sameAs Luận_lý_Hoare.
- Hoare_logic sameAs Q1375924.
- Hoare_logic sameAs 霍尔逻辑.
- Hoare_logic wasDerivedFrom Hoare_logic?oldid=689672784.
- Hoare_logic isPrimaryTopicOf Hoare_logic.