Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113090411> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2113090411 endingPage "357" @default.
- W2113090411 startingPage "323" @default.
- W2113090411 abstract "Manna's theorem on (partial) correctness of programs essentially states that in the statement of the Floyd inductive assertion method, “A flow diagram is correct with respect to given initial and final assertions if suitable intermediate assertions can be found”, we may replace “if” by “if and only if”. In other words, the method is complete. A precise formulation and proof for the flow chart case is given. The theorem is then extended to programs with (parameterless) recursion; for this the structure of the intermediate assertions has to be refined considerably. The result is used to provide a characterization of recursion which is an alternative to the minimal fixed point characterization, and to clarify the relationship between partial and total correctness. Important tools are the relational representation of programs, and Scott's induction." @default.
- W2113090411 created "2016-06-24" @default.
- W2113090411 creator A5042430713 @default.
- W2113090411 creator A5089372297 @default.
- W2113090411 date "1975-12-01" @default.
- W2113090411 modified "2023-10-03" @default.
- W2113090411 title "On the completeness of the inductive assertion method" @default.
- W2113090411 cites W2012213337 @default.
- W2113090411 cites W2028140996 @default.
- W2113090411 cites W2039586513 @default.
- W2113090411 doi "https://doi.org/10.1016/s0022-0000(75)80056-0" @default.
- W2113090411 hasPublicationYear "1975" @default.
- W2113090411 type Work @default.
- W2113090411 sameAs 2113090411 @default.
- W2113090411 citedByCount "55" @default.
- W2113090411 countsByYear W21130904112013 @default.
- W2113090411 countsByYear W21130904112015 @default.
- W2113090411 countsByYear W21130904112016 @default.
- W2113090411 countsByYear W21130904112023 @default.
- W2113090411 crossrefType "journal-article" @default.
- W2113090411 hasAuthorship W2113090411A5042430713 @default.
- W2113090411 hasAuthorship W2113090411A5089372297 @default.
- W2113090411 hasBestOaLocation W21130904112 @default.
- W2113090411 hasConcept C111472728 @default.
- W2113090411 hasConcept C11413529 @default.
- W2113090411 hasConcept C118615104 @default.
- W2113090411 hasConcept C124416688 @default.
- W2113090411 hasConcept C134306372 @default.
- W2113090411 hasConcept C136119220 @default.
- W2113090411 hasConcept C138885662 @default.
- W2113090411 hasConcept C139503435 @default.
- W2113090411 hasConcept C168773036 @default.
- W2113090411 hasConcept C171250308 @default.
- W2113090411 hasConcept C17231256 @default.
- W2113090411 hasConcept C192562407 @default.
- W2113090411 hasConcept C199343813 @default.
- W2113090411 hasConcept C199360897 @default.
- W2113090411 hasConcept C202444582 @default.
- W2113090411 hasConcept C2777026412 @default.
- W2113090411 hasConcept C2777686260 @default.
- W2113090411 hasConcept C2780841128 @default.
- W2113090411 hasConcept C33923547 @default.
- W2113090411 hasConcept C40422974 @default.
- W2113090411 hasConcept C41008148 @default.
- W2113090411 hasConcept C55439883 @default.
- W2113090411 hasConcept C71924100 @default.
- W2113090411 hasConceptScore W2113090411C111472728 @default.
- W2113090411 hasConceptScore W2113090411C11413529 @default.
- W2113090411 hasConceptScore W2113090411C118615104 @default.
- W2113090411 hasConceptScore W2113090411C124416688 @default.
- W2113090411 hasConceptScore W2113090411C134306372 @default.
- W2113090411 hasConceptScore W2113090411C136119220 @default.
- W2113090411 hasConceptScore W2113090411C138885662 @default.
- W2113090411 hasConceptScore W2113090411C139503435 @default.
- W2113090411 hasConceptScore W2113090411C168773036 @default.
- W2113090411 hasConceptScore W2113090411C171250308 @default.
- W2113090411 hasConceptScore W2113090411C17231256 @default.
- W2113090411 hasConceptScore W2113090411C192562407 @default.
- W2113090411 hasConceptScore W2113090411C199343813 @default.
- W2113090411 hasConceptScore W2113090411C199360897 @default.
- W2113090411 hasConceptScore W2113090411C202444582 @default.
- W2113090411 hasConceptScore W2113090411C2777026412 @default.
- W2113090411 hasConceptScore W2113090411C2777686260 @default.
- W2113090411 hasConceptScore W2113090411C2780841128 @default.
- W2113090411 hasConceptScore W2113090411C33923547 @default.
- W2113090411 hasConceptScore W2113090411C40422974 @default.
- W2113090411 hasConceptScore W2113090411C41008148 @default.
- W2113090411 hasConceptScore W2113090411C55439883 @default.
- W2113090411 hasConceptScore W2113090411C71924100 @default.
- W2113090411 hasIssue "3" @default.
- W2113090411 hasLocation W21130904111 @default.
- W2113090411 hasLocation W21130904112 @default.
- W2113090411 hasOpenAccess W2113090411 @default.
- W2113090411 hasPrimaryLocation W21130904111 @default.
- W2113090411 hasRelatedWork W1563586960 @default.
- W2113090411 hasRelatedWork W2059976750 @default.
- W2113090411 hasRelatedWork W2069792094 @default.
- W2113090411 hasRelatedWork W2113090411 @default.
- W2113090411 hasRelatedWork W223586891 @default.
- W2113090411 hasRelatedWork W2374742784 @default.
- W2113090411 hasRelatedWork W2767681984 @default.
- W2113090411 hasRelatedWork W2896379815 @default.
- W2113090411 hasRelatedWork W3022748243 @default.
- W2113090411 hasRelatedWork W4249703975 @default.
- W2113090411 hasVolume "11" @default.
- W2113090411 isParatext "false" @default.
- W2113090411 isRetracted "false" @default.
- W2113090411 magId "2113090411" @default.
- W2113090411 workType "article" @default.