Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Hoare_logic> }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Tony_Hoare knownFor Hoare_logic.
- Hoare wikiPageDisambiguates Hoare_logic.
- Floyd-Hoare_logic wikiPageRedirects Hoare_logic.
- Floyd–Hoare_logic wikiPageRedirects Hoare_logic.
- Hoare_calculus wikiPageRedirects Hoare_logic.
- Hoare_rules wikiPageRedirects Hoare_logic.
- Hoare_triple wikiPageRedirects Hoare_logic.
- Midcondition wikiPageRedirects Hoare_logic.
- ISO_C_Specification_Language wikiPageWikiLink Hoare_logic.
- Assertion_(software_development) wikiPageWikiLink Hoare_logic.
- Axiomatic_semantics wikiPageWikiLink Hoare_logic.
- Behavior-driven_development wikiPageWikiLink Hoare_logic.
- Bunched_logic wikiPageWikiLink Hoare_logic.
- Correctness_(computer_science) wikiPageWikiLink Hoare_logic.
- Design_by_contract wikiPageWikiLink Hoare_logic.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Hoare_logic.
- Edmund_M._Clarke wikiPageWikiLink Hoare_logic.
- Floyd-Hoare_logic wikiPageWikiLink Hoare_logic.
- Floyd–Hoare_logic wikiPageWikiLink Hoare_logic.
- Formal_verification wikiPageWikiLink Hoare_logic.
- Functional_programming wikiPageWikiLink Hoare_logic.
- Given-When-Then wikiPageWikiLink Hoare_logic.
- Guarded_Command_Language wikiPageWikiLink Hoare_logic.
- Hoare wikiPageWikiLink Hoare_logic.
- Hoare_calculus wikiPageWikiLink Hoare_logic.
- Hoare_rules wikiPageWikiLink Hoare_logic.
- Hoare_triple wikiPageWikiLink Hoare_logic.
- ITMO_University wikiPageWikiLink Hoare_logic.
- Index_of_software_engineering_articles wikiPageWikiLink Hoare_logic.
- Invariant_(computer_science) wikiPageWikiLink Hoare_logic.
- Java_Modeling_Language wikiPageWikiLink Hoare_logic.
- John_V._Tucker wikiPageWikiLink Hoare_logic.
- Join_point wikiPageWikiLink Hoare_logic.
- KeY wikiPageWikiLink Hoare_logic.
- Liskov_substitution_principle wikiPageWikiLink Hoare_logic.
- List_of_important_publications_in_computer_science wikiPageWikiLink Hoare_logic.
- Logic wikiPageWikiLink Hoare_logic.
- Loop_invariant wikiPageWikiLink Hoare_logic.
- Loop_variant wikiPageWikiLink Hoare_logic.
- Merton_College,_Oxford wikiPageWikiLink Hoare_logic.
- Midcondition wikiPageWikiLink Hoare_logic.
- On_the_Cruelty_of_Really_Teaching_Computer_Science wikiPageWikiLink Hoare_logic.
- Postcondition wikiPageWikiLink Hoare_logic.
- Precondition wikiPageWikiLink Hoare_logic.
- Predicate_transformer_semantics wikiPageWikiLink Hoare_logic.
- Process_calculus wikiPageWikiLink Hoare_logic.
- Program_derivation wikiPageWikiLink Hoare_logic.
- Programming_language_theory wikiPageWikiLink Hoare_logic.
- Refinement_(computing) wikiPageWikiLink Hoare_logic.
- Refinement_calculus wikiPageWikiLink Hoare_logic.
- Robert_W._Floyd wikiPageWikiLink Hoare_logic.
- Semantics_(computer_science) wikiPageWikiLink Hoare_logic.
- Separation_logic wikiPageWikiLink Hoare_logic.
- Stack-oriented_programming_language wikiPageWikiLink Hoare_logic.
- Static_program_analysis wikiPageWikiLink Hoare_logic.
- TLA+ wikiPageWikiLink Hoare_logic.
- Tony_Hoare wikiPageWikiLink Hoare_logic.
- Verification_condition_generator wikiPageWikiLink Hoare_logic.
- books?vid=ISBN052154310X isCitedBy Hoare_logic.
- 09f9238208afba931bee08bc4ef0d3fda90f0b4f27290487a1f96f88a7160394 isCitedBy Hoare_logic.
- a6cbef7f61fe1c2180b7e5fe1392d043448121f2b2bcbf764707ef205a1466dc isCitedBy Hoare_logic.
- 363235.363259 isCitedBy Hoare_logic.
- Tony_Hoare knownFor Hoare_logic.
- Hoare_logic primaryTopic Hoare_logic.