Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949328046> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2949328046 abstract "We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some properties of the program are established first and subsequently used to establish other program properties. We illustrate this approach by providing a modular correctness proof of the Quicksort program." @default.
- W2949328046 created "2019-06-27" @default.
- W2949328046 creator A5042418599 @default.
- W2949328046 creator A5058708865 @default.
- W2949328046 creator A5084773409 @default.
- W2949328046 date "2009-07-24" @default.
- W2949328046 modified "2023-09-28" @default.
- W2949328046 title "Modular Verification of Recursive Programs" @default.
- W2949328046 cites W1566263746 @default.
- W2949328046 cites W1765613399 @default.
- W2949328046 cites W1792966054 @default.
- W2949328046 cites W2068567986 @default.
- W2949328046 cites W2091990349 @default.
- W2949328046 cites W2111619838 @default.
- W2949328046 cites W2118229393 @default.
- W2949328046 cites W2150174224 @default.
- W2949328046 cites W2313175711 @default.
- W2949328046 cites W3145405294 @default.
- W2949328046 cites W3145693741 @default.
- W2949328046 hasPublicationYear "2009" @default.
- W2949328046 type Work @default.
- W2949328046 sameAs 2949328046 @default.
- W2949328046 citedByCount "0" @default.
- W2949328046 crossrefType "posted-content" @default.
- W2949328046 hasAuthorship W2949328046A5042418599 @default.
- W2949328046 hasAuthorship W2949328046A5058708865 @default.
- W2949328046 hasAuthorship W2949328046A5084773409 @default.
- W2949328046 hasConcept C101468663 @default.
- W2949328046 hasConcept C104949639 @default.
- W2949328046 hasConcept C108094655 @default.
- W2949328046 hasConcept C111696304 @default.
- W2949328046 hasConcept C173856430 @default.
- W2949328046 hasConcept C199360897 @default.
- W2949328046 hasConcept C2778937211 @default.
- W2949328046 hasConcept C41008148 @default.
- W2949328046 hasConcept C55439883 @default.
- W2949328046 hasConcept C80444323 @default.
- W2949328046 hasConceptScore W2949328046C101468663 @default.
- W2949328046 hasConceptScore W2949328046C104949639 @default.
- W2949328046 hasConceptScore W2949328046C108094655 @default.
- W2949328046 hasConceptScore W2949328046C111696304 @default.
- W2949328046 hasConceptScore W2949328046C173856430 @default.
- W2949328046 hasConceptScore W2949328046C199360897 @default.
- W2949328046 hasConceptScore W2949328046C2778937211 @default.
- W2949328046 hasConceptScore W2949328046C41008148 @default.
- W2949328046 hasConceptScore W2949328046C55439883 @default.
- W2949328046 hasConceptScore W2949328046C80444323 @default.
- W2949328046 hasLocation W29493280461 @default.
- W2949328046 hasOpenAccess W2949328046 @default.
- W2949328046 hasPrimaryLocation W29493280461 @default.
- W2949328046 hasRelatedWork W152968864 @default.
- W2949328046 hasRelatedWork W1566242322 @default.
- W2949328046 hasRelatedWork W1568896301 @default.
- W2949328046 hasRelatedWork W1599005250 @default.
- W2949328046 hasRelatedWork W191371315 @default.
- W2949328046 hasRelatedWork W1967019306 @default.
- W2949328046 hasRelatedWork W1982134454 @default.
- W2949328046 hasRelatedWork W1989185026 @default.
- W2949328046 hasRelatedWork W2071909605 @default.
- W2949328046 hasRelatedWork W207442571 @default.
- W2949328046 hasRelatedWork W2075909731 @default.
- W2949328046 hasRelatedWork W2090307683 @default.
- W2949328046 hasRelatedWork W2091385303 @default.
- W2949328046 hasRelatedWork W2107496223 @default.
- W2949328046 hasRelatedWork W2168951609 @default.
- W2949328046 hasRelatedWork W2569846767 @default.
- W2949328046 hasRelatedWork W2956136255 @default.
- W2949328046 hasRelatedWork W3086076508 @default.
- W2949328046 hasRelatedWork W49360353 @default.
- W2949328046 hasRelatedWork W2163214641 @default.
- W2949328046 isParatext "false" @default.
- W2949328046 isRetracted "false" @default.
- W2949328046 magId "2949328046" @default.
- W2949328046 workType "article" @default.