Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094119484> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2094119484 endingPage "89" @default.
- W2094119484 startingPage "81" @default.
- W2094119484 abstract "A form of the binary search algorithm that returns either the position of the item searched for or the position at which it should be inserted is given and proven correct. Since this version of binary search has a non‐obvious loop invariant, it can be used to provide a meaningful introduction to loop invariants, post loop assertions, and correctness proofs. The proofs require only the manipulation of inequalities, and hence are very suitable for presentation in CS‐1 or CS‐2." @default.
- W2094119484 created "2016-06-24" @default.
- W2094119484 creator A5087957063 @default.
- W2094119484 date "1991-01-01" @default.
- W2094119484 modified "2023-10-17" @default.
- W2094119484 title "A Correctness Proof for Binary Search" @default.
- W2094119484 cites W4235199286 @default.
- W2094119484 doi "https://doi.org/10.1080/0899340910020106" @default.
- W2094119484 hasPublicationYear "1991" @default.
- W2094119484 type Work @default.
- W2094119484 sameAs 2094119484 @default.
- W2094119484 citedByCount "2" @default.
- W2094119484 crossrefType "journal-article" @default.
- W2094119484 hasAuthorship W2094119484A5087957063 @default.
- W2094119484 hasConcept C10138342 @default.
- W2094119484 hasConcept C108710211 @default.
- W2094119484 hasConcept C11413529 @default.
- W2094119484 hasConcept C114614502 @default.
- W2094119484 hasConcept C121610932 @default.
- W2094119484 hasConcept C125583679 @default.
- W2094119484 hasConcept C162324750 @default.
- W2094119484 hasConcept C184670325 @default.
- W2094119484 hasConcept C190470478 @default.
- W2094119484 hasConcept C198082294 @default.
- W2094119484 hasConcept C2524010 @default.
- W2094119484 hasConcept C33923547 @default.
- W2094119484 hasConcept C37914503 @default.
- W2094119484 hasConcept C41008148 @default.
- W2094119484 hasConcept C48372109 @default.
- W2094119484 hasConcept C55439883 @default.
- W2094119484 hasConcept C80444323 @default.
- W2094119484 hasConcept C94375191 @default.
- W2094119484 hasConceptScore W2094119484C10138342 @default.
- W2094119484 hasConceptScore W2094119484C108710211 @default.
- W2094119484 hasConceptScore W2094119484C11413529 @default.
- W2094119484 hasConceptScore W2094119484C114614502 @default.
- W2094119484 hasConceptScore W2094119484C121610932 @default.
- W2094119484 hasConceptScore W2094119484C125583679 @default.
- W2094119484 hasConceptScore W2094119484C162324750 @default.
- W2094119484 hasConceptScore W2094119484C184670325 @default.
- W2094119484 hasConceptScore W2094119484C190470478 @default.
- W2094119484 hasConceptScore W2094119484C198082294 @default.
- W2094119484 hasConceptScore W2094119484C2524010 @default.
- W2094119484 hasConceptScore W2094119484C33923547 @default.
- W2094119484 hasConceptScore W2094119484C37914503 @default.
- W2094119484 hasConceptScore W2094119484C41008148 @default.
- W2094119484 hasConceptScore W2094119484C48372109 @default.
- W2094119484 hasConceptScore W2094119484C55439883 @default.
- W2094119484 hasConceptScore W2094119484C80444323 @default.
- W2094119484 hasConceptScore W2094119484C94375191 @default.
- W2094119484 hasIssue "1" @default.
- W2094119484 hasLocation W20941194841 @default.
- W2094119484 hasOpenAccess W2094119484 @default.
- W2094119484 hasPrimaryLocation W20941194841 @default.
- W2094119484 hasRelatedWork W1019628555 @default.
- W2094119484 hasRelatedWork W1997440650 @default.
- W2094119484 hasRelatedWork W2113181166 @default.
- W2094119484 hasRelatedWork W2116536633 @default.
- W2094119484 hasRelatedWork W2136052444 @default.
- W2094119484 hasRelatedWork W2363311875 @default.
- W2094119484 hasRelatedWork W2950028700 @default.
- W2094119484 hasRelatedWork W3214376140 @default.
- W2094119484 hasRelatedWork W4295127475 @default.
- W2094119484 hasRelatedWork W4301176064 @default.
- W2094119484 hasVolume "2" @default.
- W2094119484 isParatext "false" @default.
- W2094119484 isRetracted "false" @default.
- W2094119484 magId "2094119484" @default.
- W2094119484 workType "article" @default.