Matches in SemOpenAlex for { <https://semopenalex.org/work/W1824821184> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1824821184 abstract "This paper proposes new derivations of three well-known sorting algorithms, in their functional formulation. The approach we use is based on three main ingredients: first, the algorithms are derived from a simpler algorithm, i.e. the specification is already a solution to the problem (in this sense our derivations are program transformations). Secondly, a mixture of inductive and coinductive arguments are used in a uniform, algebraic style in our reasoning. Finally, the approach uses structural invariants so as to strengthen the equational reasoning with logical arguments that cannot be captured in the algebraic framework." @default.
- W1824821184 created "2016-06-24" @default.
- W1824821184 creator A5021548814 @default.
- W1824821184 creator A5056967331 @default.
- W1824821184 date "2008-02-26" @default.
- W1824821184 modified "2023-09-27" @default.
- W1824821184 title "Deriving Sorting Algorithms" @default.
- W1824821184 cites W1528303475 @default.
- W1824821184 cites W1558180172 @default.
- W1824821184 cites W1608714802 @default.
- W1824821184 cites W1975580206 @default.
- W1824821184 cites W1993075518 @default.
- W1824821184 cites W2120489176 @default.
- W1824821184 cites W2166159458 @default.
- W1824821184 cites W2208923056 @default.
- W1824821184 cites W1531654553 @default.
- W1824821184 hasPublicationYear "2008" @default.
- W1824821184 type Work @default.
- W1824821184 sameAs 1824821184 @default.
- W1824821184 citedByCount "0" @default.
- W1824821184 crossrefType "posted-content" @default.
- W1824821184 hasAuthorship W1824821184A5021548814 @default.
- W1824821184 hasAuthorship W1824821184A5056967331 @default.
- W1824821184 hasConcept C108094655 @default.
- W1824821184 hasConcept C108710211 @default.
- W1824821184 hasConcept C111696304 @default.
- W1824821184 hasConcept C11413529 @default.
- W1824821184 hasConcept C134306372 @default.
- W1824821184 hasConcept C136119220 @default.
- W1824821184 hasConcept C202444582 @default.
- W1824821184 hasConcept C2524010 @default.
- W1824821184 hasConcept C33923547 @default.
- W1824821184 hasConcept C40220748 @default.
- W1824821184 hasConcept C41008148 @default.
- W1824821184 hasConcept C80444323 @default.
- W1824821184 hasConcept C9376300 @default.
- W1824821184 hasConceptScore W1824821184C108094655 @default.
- W1824821184 hasConceptScore W1824821184C108710211 @default.
- W1824821184 hasConceptScore W1824821184C111696304 @default.
- W1824821184 hasConceptScore W1824821184C11413529 @default.
- W1824821184 hasConceptScore W1824821184C134306372 @default.
- W1824821184 hasConceptScore W1824821184C136119220 @default.
- W1824821184 hasConceptScore W1824821184C202444582 @default.
- W1824821184 hasConceptScore W1824821184C2524010 @default.
- W1824821184 hasConceptScore W1824821184C33923547 @default.
- W1824821184 hasConceptScore W1824821184C40220748 @default.
- W1824821184 hasConceptScore W1824821184C41008148 @default.
- W1824821184 hasConceptScore W1824821184C80444323 @default.
- W1824821184 hasConceptScore W1824821184C9376300 @default.
- W1824821184 hasLocation W18248211841 @default.
- W1824821184 hasOpenAccess W1824821184 @default.
- W1824821184 hasPrimaryLocation W18248211841 @default.
- W1824821184 hasRelatedWork W1479894205 @default.
- W1824821184 hasRelatedWork W1520660718 @default.
- W1824821184 hasRelatedWork W1529673590 @default.
- W1824821184 hasRelatedWork W1569975162 @default.
- W1824821184 hasRelatedWork W1576705746 @default.
- W1824821184 hasRelatedWork W1602614849 @default.
- W1824821184 hasRelatedWork W1978840985 @default.
- W1824821184 hasRelatedWork W2035910535 @default.
- W1824821184 hasRelatedWork W2037668023 @default.
- W1824821184 hasRelatedWork W2040199558 @default.
- W1824821184 hasRelatedWork W2313716282 @default.
- W1824821184 hasRelatedWork W2331781799 @default.
- W1824821184 hasRelatedWork W2509129799 @default.
- W1824821184 hasRelatedWork W2618308872 @default.
- W1824821184 hasRelatedWork W2951330018 @default.
- W1824821184 hasRelatedWork W2953092756 @default.
- W1824821184 hasRelatedWork W2955302716 @default.
- W1824821184 hasRelatedWork W3190302205 @default.
- W1824821184 hasRelatedWork W3207121611 @default.
- W1824821184 hasRelatedWork W329373491 @default.
- W1824821184 isParatext "false" @default.
- W1824821184 isRetracted "false" @default.
- W1824821184 magId "1824821184" @default.
- W1824821184 workType "article" @default.