Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Hoare_logic> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items 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 C. A. R. Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert 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 wikiPageRevisionID "604791049".
- Hoare_logic hasPhotoCollection Hoare_logic.
- Hoare_logic subject Category:1969_in_computer_science.
- Hoare_logic subject Category:Program_logic.
- Hoare_logic subject Category:Static_program_analysis.
- 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 C. A. R. Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert Floyd, who had published a similar system for flowcharts.".
- Hoare_logic label "Hoare logic".
- Hoare_logic label "Hoare-Kalkül".
- Hoare_logic label "Hoarelogica".
- Hoare_logic label "Logica di Hoare".
- Hoare_logic label "Logika Hoare'a".
- Hoare_logic label "Logique de Hoare".
- Hoare_logic label "Lógica de Hoare".
- Hoare_logic label "Lógica de Hoare".
- Hoare_logic label "Логика Хоара".
- Hoare_logic label "ホーア論理".
- Hoare_logic label "霍尔逻辑".
- 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_Hoare'a.
- Hoare_logic sameAs Lógica_de_Hoare.
- Hoare_logic sameAs m.018z8r.
- Hoare_logic sameAs Q1375924.
- Hoare_logic sameAs Q1375924.
- Hoare_logic wasDerivedFrom Hoare_logic?oldid=604791049.
- Hoare_logic isPrimaryTopicOf Hoare_logic.