Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024971867> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2024971867 abstract "Denoting a version of Hoare's system for proving partial correctness of recursive programs by H, we present an extension D which may be thought of as H υ {@@@@,@@@@,@@@@,@@@@} υ H-1, including the rules of H, four special purpose rules and inverse rules to those of Hoare. D is shown to be a complete system (in Cook's sense) for proving deductions of the form σ1,....σn @@@@ σ over a language, the wff's of which are assertions in some assertion language L and partial correctness specifications of the form p(α)q. All valid formulae of L are taken as axioms of D. It is shown that D is sufficient for proving partial correctness, total correctness and program equivalence as well as other important properties of programs, the proofs of which are impossible in H. The entire presentation is worked out in the framework of nondeterministic programs employing iteration and mutually recursive procedures." @default.
- W2024971867 created "2016-06-24" @default.
- W2024971867 creator A5019899729 @default.
- W2024971867 creator A5078214635 @default.
- W2024971867 creator A5088778612 @default.
- W2024971867 date "1977-01-01" @default.
- W2024971867 modified "2023-09-27" @default.
- W2024971867 title "A complete axiomatic system for proving deductions about recursive programs" @default.
- W2024971867 cites W151011738 @default.
- W2024971867 cites W1574129634 @default.
- W2024971867 cites W1579433101 @default.
- W2024971867 cites W1965790939 @default.
- W2024971867 cites W2027685350 @default.
- W2024971867 cites W2032889498 @default.
- W2024971867 cites W2036395016 @default.
- W2024971867 cites W2075350371 @default.
- W2024971867 cites W2113090411 @default.
- W2024971867 cites W2129865151 @default.
- W2024971867 cites W2177002043 @default.
- W2024971867 cites W3145405294 @default.
- W2024971867 cites W3146075203 @default.
- W2024971867 doi "https://doi.org/10.1145/800105.803415" @default.
- W2024971867 hasPublicationYear "1977" @default.
- W2024971867 type Work @default.
- W2024971867 sameAs 2024971867 @default.
- W2024971867 citedByCount "21" @default.
- W2024971867 countsByYear W20249718672012 @default.
- W2024971867 countsByYear W20249718672013 @default.
- W2024971867 countsByYear W20249718672015 @default.
- W2024971867 crossrefType "proceedings-article" @default.
- W2024971867 hasAuthorship W2024971867A5019899729 @default.
- W2024971867 hasAuthorship W2024971867A5078214635 @default.
- W2024971867 hasAuthorship W2024971867A5088778612 @default.
- W2024971867 hasBestOaLocation W20249718671 @default.
- W2024971867 hasConcept C104949639 @default.
- W2024971867 hasConcept C108710211 @default.
- W2024971867 hasConcept C11413529 @default.
- W2024971867 hasConcept C118615104 @default.
- W2024971867 hasConcept C136119220 @default.
- W2024971867 hasConcept C156325763 @default.
- W2024971867 hasConcept C167729594 @default.
- W2024971867 hasConcept C176181172 @default.
- W2024971867 hasConcept C184337299 @default.
- W2024971867 hasConcept C199360897 @default.
- W2024971867 hasConcept C202444582 @default.
- W2024971867 hasConcept C207648694 @default.
- W2024971867 hasConcept C2524010 @default.
- W2024971867 hasConcept C2780069185 @default.
- W2024971867 hasConcept C33923547 @default.
- W2024971867 hasConcept C40220748 @default.
- W2024971867 hasConcept C40422974 @default.
- W2024971867 hasConcept C41008148 @default.
- W2024971867 hasConcept C55439883 @default.
- W2024971867 hasConcept C58041814 @default.
- W2024971867 hasConceptScore W2024971867C104949639 @default.
- W2024971867 hasConceptScore W2024971867C108710211 @default.
- W2024971867 hasConceptScore W2024971867C11413529 @default.
- W2024971867 hasConceptScore W2024971867C118615104 @default.
- W2024971867 hasConceptScore W2024971867C136119220 @default.
- W2024971867 hasConceptScore W2024971867C156325763 @default.
- W2024971867 hasConceptScore W2024971867C167729594 @default.
- W2024971867 hasConceptScore W2024971867C176181172 @default.
- W2024971867 hasConceptScore W2024971867C184337299 @default.
- W2024971867 hasConceptScore W2024971867C199360897 @default.
- W2024971867 hasConceptScore W2024971867C202444582 @default.
- W2024971867 hasConceptScore W2024971867C207648694 @default.
- W2024971867 hasConceptScore W2024971867C2524010 @default.
- W2024971867 hasConceptScore W2024971867C2780069185 @default.
- W2024971867 hasConceptScore W2024971867C33923547 @default.
- W2024971867 hasConceptScore W2024971867C40220748 @default.
- W2024971867 hasConceptScore W2024971867C40422974 @default.
- W2024971867 hasConceptScore W2024971867C41008148 @default.
- W2024971867 hasConceptScore W2024971867C55439883 @default.
- W2024971867 hasConceptScore W2024971867C58041814 @default.
- W2024971867 hasLocation W20249718671 @default.
- W2024971867 hasOpenAccess W2024971867 @default.
- W2024971867 hasPrimaryLocation W20249718671 @default.
- W2024971867 hasRelatedWork W1586426631 @default.
- W2024971867 hasRelatedWork W1983083941 @default.
- W2024971867 hasRelatedWork W1983409972 @default.
- W2024971867 hasRelatedWork W1988514872 @default.
- W2024971867 hasRelatedWork W2012220159 @default.
- W2024971867 hasRelatedWork W2037906582 @default.
- W2024971867 hasRelatedWork W2038289817 @default.
- W2024971867 hasRelatedWork W2094260934 @default.
- W2024971867 hasRelatedWork W2129865151 @default.
- W2024971867 hasRelatedWork W2136558125 @default.
- W2024971867 isParatext "false" @default.
- W2024971867 isRetracted "false" @default.
- W2024971867 magId "2024971867" @default.
- W2024971867 workType "article" @default.