Matches in SemOpenAlex for { <https://semopenalex.org/work/W2150174224> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2150174224 endingPage "395" @default.
- W2150174224 startingPage "391" @default.
- W2150174224 abstract "This paper gives the proof of a useful and non-trivial program, Quicksort (Hoare, 1961). First the general algorithm is described informally; next a rigorous but informal proof of correctness of the coded program is given; finally some formal methods are introduced. Conclusions are drawn on the possibility of enlisting mechanical aid in the proof process." @default.
- W2150174224 created "2016-06-24" @default.
- W2150174224 creator A5052847689 @default.
- W2150174224 creator A5078758958 @default.
- W2150174224 date "1971-04-01" @default.
- W2150174224 modified "2023-10-14" @default.
- W2150174224 title "Proof of a recursive program: Quicksort" @default.
- W2150174224 doi "https://doi.org/10.1093/comjnl/14.4.391" @default.
- W2150174224 hasPublicationYear "1971" @default.
- W2150174224 type Work @default.
- W2150174224 sameAs 2150174224 @default.
- W2150174224 citedByCount "53" @default.
- W2150174224 countsByYear W21501742242013 @default.
- W2150174224 countsByYear W21501742242014 @default.
- W2150174224 countsByYear W21501742242015 @default.
- W2150174224 countsByYear W21501742242016 @default.
- W2150174224 countsByYear W21501742242017 @default.
- W2150174224 countsByYear W21501742242018 @default.
- W2150174224 countsByYear W21501742242019 @default.
- W2150174224 countsByYear W21501742242020 @default.
- W2150174224 countsByYear W21501742242021 @default.
- W2150174224 countsByYear W21501742242022 @default.
- W2150174224 crossrefType "journal-article" @default.
- W2150174224 hasAuthorship W2150174224A5052847689 @default.
- W2150174224 hasAuthorship W2150174224A5078758958 @default.
- W2150174224 hasBestOaLocation W21501742241 @default.
- W2150174224 hasConcept C104949639 @default.
- W2150174224 hasConcept C108094655 @default.
- W2150174224 hasConcept C108710211 @default.
- W2150174224 hasConcept C111696304 @default.
- W2150174224 hasConcept C11413529 @default.
- W2150174224 hasConcept C199360897 @default.
- W2150174224 hasConcept C2524010 @default.
- W2150174224 hasConcept C2778937211 @default.
- W2150174224 hasConcept C33923547 @default.
- W2150174224 hasConcept C41008148 @default.
- W2150174224 hasConcept C55439883 @default.
- W2150174224 hasConcept C80444323 @default.
- W2150174224 hasConcept C94461902 @default.
- W2150174224 hasConceptScore W2150174224C104949639 @default.
- W2150174224 hasConceptScore W2150174224C108094655 @default.
- W2150174224 hasConceptScore W2150174224C108710211 @default.
- W2150174224 hasConceptScore W2150174224C111696304 @default.
- W2150174224 hasConceptScore W2150174224C11413529 @default.
- W2150174224 hasConceptScore W2150174224C199360897 @default.
- W2150174224 hasConceptScore W2150174224C2524010 @default.
- W2150174224 hasConceptScore W2150174224C2778937211 @default.
- W2150174224 hasConceptScore W2150174224C33923547 @default.
- W2150174224 hasConceptScore W2150174224C41008148 @default.
- W2150174224 hasConceptScore W2150174224C55439883 @default.
- W2150174224 hasConceptScore W2150174224C80444323 @default.
- W2150174224 hasConceptScore W2150174224C94461902 @default.
- W2150174224 hasIssue "4" @default.
- W2150174224 hasLocation W21501742241 @default.
- W2150174224 hasOpenAccess W2150174224 @default.
- W2150174224 hasPrimaryLocation W21501742241 @default.
- W2150174224 hasRelatedWork W1487643886 @default.
- W2150174224 hasRelatedWork W1538921948 @default.
- W2150174224 hasRelatedWork W1552857339 @default.
- W2150174224 hasRelatedWork W1885991348 @default.
- W2150174224 hasRelatedWork W1971879297 @default.
- W2150174224 hasRelatedWork W2150174224 @default.
- W2150174224 hasRelatedWork W2578450509 @default.
- W2150174224 hasRelatedWork W2973962686 @default.
- W2150174224 hasRelatedWork W2996838589 @default.
- W2150174224 hasRelatedWork W4283765998 @default.
- W2150174224 hasVolume "14" @default.
- W2150174224 isParatext "false" @default.
- W2150174224 isRetracted "false" @default.
- W2150174224 magId "2150174224" @default.
- W2150174224 workType "article" @default.