Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503886111> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1503886111 endingPage "681" @default.
- W1503886111 startingPage "645" @default.
- W1503886111 abstract "Two case studies are presented that demonstrate the systematic derivation of efficient algorithms from simple combinatorial definitions. These case studies contribute to an exploration of evolutionary approaches to the explanation, proof, adaptation, and possibly the design of complex algorithms.The algorithms derived are the linear-time depth-first-search algorithms developed by Tarjan and Hopcroft for strong connectivity and biconnectivity. These algorithms are generally considered by students to be complex and difficult to understand. The problems they solve, however, have simple combinatorial definitions that can themselves be considered inefficient algorithms.The derivations employ systematic program manipulation techniques combined with appropriate domain-specific knowledge. The derivation approach offers evolutionary explanations of the algorithms that make explicit the respective roles of programming knowledge (embodied as program manipulation techniques) and domain-specific knowledge (embodied as graph-theoretic lemmas). Because the steps are rigorous and can potentially be formalized, the explanations are also proofs of correctness. We consider the merits of this approach to proof as compared with the usual a posteriori proofs. These case studies also illustrate how significant algorithmic derivations can be accomplished with a relatively small set of core program manipulation techniques." @default.
- W1503886111 created "2016-06-24" @default.
- W1503886111 creator A5007364145 @default.
- W1503886111 creator A5018254610 @default.
- W1503886111 date "2003-01-01" @default.
- W1503886111 modified "2023-09-24" @default.
- W1503886111 title "Deriving Efficient Graph Algorithms" @default.
- W1503886111 cites W1766332311 @default.
- W1503886111 cites W1976811743 @default.
- W1503886111 cites W1992808564 @default.
- W1503886111 cites W1996508547 @default.
- W1503886111 cites W2012721044 @default.
- W1503886111 cites W2023299380 @default.
- W1503886111 cites W2050584095 @default.
- W1503886111 cites W2054358146 @default.
- W1503886111 cites W2084489002 @default.
- W1503886111 cites W2094243107 @default.
- W1503886111 cites W2098873146 @default.
- W1503886111 cites W2101188827 @default.
- W1503886111 cites W2118382442 @default.
- W1503886111 cites W2127158422 @default.
- W1503886111 cites W4210732998 @default.
- W1503886111 cites W4237252954 @default.
- W1503886111 doi "https://doi.org/10.1007/978-3-540-39910-0_28" @default.
- W1503886111 hasPublicationYear "2003" @default.
- W1503886111 type Work @default.
- W1503886111 sameAs 1503886111 @default.
- W1503886111 citedByCount "7" @default.
- W1503886111 crossrefType "book-chapter" @default.
- W1503886111 hasAuthorship W1503886111A5007364145 @default.
- W1503886111 hasAuthorship W1503886111A5018254610 @default.
- W1503886111 hasBestOaLocation W15038861112 @default.
- W1503886111 hasConcept C108710211 @default.
- W1503886111 hasConcept C111472728 @default.
- W1503886111 hasConcept C11413529 @default.
- W1503886111 hasConcept C132525143 @default.
- W1503886111 hasConcept C134306372 @default.
- W1503886111 hasConcept C138885662 @default.
- W1503886111 hasConcept C177264268 @default.
- W1503886111 hasConcept C199360897 @default.
- W1503886111 hasConcept C2524010 @default.
- W1503886111 hasConcept C2780586882 @default.
- W1503886111 hasConcept C33923547 @default.
- W1503886111 hasConcept C36503486 @default.
- W1503886111 hasConcept C41008148 @default.
- W1503886111 hasConcept C55439883 @default.
- W1503886111 hasConcept C75553542 @default.
- W1503886111 hasConcept C80444323 @default.
- W1503886111 hasConceptScore W1503886111C108710211 @default.
- W1503886111 hasConceptScore W1503886111C111472728 @default.
- W1503886111 hasConceptScore W1503886111C11413529 @default.
- W1503886111 hasConceptScore W1503886111C132525143 @default.
- W1503886111 hasConceptScore W1503886111C134306372 @default.
- W1503886111 hasConceptScore W1503886111C138885662 @default.
- W1503886111 hasConceptScore W1503886111C177264268 @default.
- W1503886111 hasConceptScore W1503886111C199360897 @default.
- W1503886111 hasConceptScore W1503886111C2524010 @default.
- W1503886111 hasConceptScore W1503886111C2780586882 @default.
- W1503886111 hasConceptScore W1503886111C33923547 @default.
- W1503886111 hasConceptScore W1503886111C36503486 @default.
- W1503886111 hasConceptScore W1503886111C41008148 @default.
- W1503886111 hasConceptScore W1503886111C55439883 @default.
- W1503886111 hasConceptScore W1503886111C75553542 @default.
- W1503886111 hasConceptScore W1503886111C80444323 @default.
- W1503886111 hasLocation W15038861111 @default.
- W1503886111 hasLocation W15038861112 @default.
- W1503886111 hasLocation W15038861113 @default.
- W1503886111 hasOpenAccess W1503886111 @default.
- W1503886111 hasPrimaryLocation W15038861111 @default.
- W1503886111 hasRelatedWork W1019628555 @default.
- W1503886111 hasRelatedWork W1504113557 @default.
- W1503886111 hasRelatedWork W2015340470 @default.
- W1503886111 hasRelatedWork W2613840268 @default.
- W1503886111 hasRelatedWork W2748077663 @default.
- W1503886111 hasRelatedWork W2950028700 @default.
- W1503886111 hasRelatedWork W3030103441 @default.
- W1503886111 hasRelatedWork W3030842888 @default.
- W1503886111 hasRelatedWork W3214376140 @default.
- W1503886111 hasRelatedWork W4301176064 @default.
- W1503886111 isParatext "false" @default.
- W1503886111 isRetracted "false" @default.
- W1503886111 magId "1503886111" @default.
- W1503886111 workType "book-chapter" @default.