Matches in SemOpenAlex for { <https://semopenalex.org/work/W2757054385> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2757054385 abstract "This paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement studied in this paper is a strategy known as change of virtual data structure. By framing metaphorisms in the class of (inductive) regular relations, sufficient conditions are given for such implementations to be calculated using relation algebra. The strategy is illustrated with examples including the derivation of the quicksort and mergesort algorithms, showing what they have in common and what makes them different from the very start of development." @default.
- W2757054385 created "2017-10-06" @default.
- W2757054385 creator A5070407243 @default.
- W2757054385 date "2017-09-19" @default.
- W2757054385 modified "2023-10-18" @default.
- W2757054385 title "Programming from Metaphorisms" @default.
- W2757054385 cites W1484217073 @default.
- W2757054385 cites W1519644068 @default.
- W2757054385 cites W1522934150 @default.
- W2757054385 cites W1535963758 @default.
- W2757054385 cites W1547742470 @default.
- W2757054385 cites W1978316299 @default.
- W2757054385 cites W1997143185 @default.
- W2757054385 cites W1998368317 @default.
- W2757054385 cites W2009265696 @default.
- W2757054385 cites W2013373314 @default.
- W2757054385 cites W2018304344 @default.
- W2757054385 cites W2047128631 @default.
- W2757054385 cites W2052417512 @default.
- W2757054385 cites W2053332285 @default.
- W2757054385 cites W2089214658 @default.
- W2757054385 cites W2094016548 @default.
- W2757054385 cites W2113582770 @default.
- W2757054385 cites W2117818027 @default.
- W2757054385 cites W2151410490 @default.
- W2757054385 cites W2162422586 @default.
- W2757054385 cites W2180807186 @default.
- W2757054385 cites W2243875553 @default.
- W2757054385 cites W2787228471 @default.
- W2757054385 cites W3099310186 @default.
- W2757054385 doi "https://doi.org/10.48550/arxiv.1709.09013" @default.
- W2757054385 hasPublicationYear "2017" @default.
- W2757054385 type Work @default.
- W2757054385 sameAs 2757054385 @default.
- W2757054385 citedByCount "1" @default.
- W2757054385 countsByYear W27570543852016 @default.
- W2757054385 crossrefType "posted-content" @default.
- W2757054385 hasAuthorship W2757054385A5070407243 @default.
- W2757054385 hasBestOaLocation W27570543851 @default.
- W2757054385 hasConcept C108094655 @default.
- W2757054385 hasConcept C111696304 @default.
- W2757054385 hasConcept C11413529 @default.
- W2757054385 hasConcept C124101348 @default.
- W2757054385 hasConcept C127413603 @default.
- W2757054385 hasConcept C169087156 @default.
- W2757054385 hasConcept C17744445 @default.
- W2757054385 hasConcept C199360897 @default.
- W2757054385 hasConcept C199539241 @default.
- W2757054385 hasConcept C23123220 @default.
- W2757054385 hasConcept C26713055 @default.
- W2757054385 hasConcept C2776359362 @default.
- W2757054385 hasConcept C2778937211 @default.
- W2757054385 hasConcept C35555965 @default.
- W2757054385 hasConcept C41008148 @default.
- W2757054385 hasConcept C5655090 @default.
- W2757054385 hasConcept C66938386 @default.
- W2757054385 hasConcept C80444323 @default.
- W2757054385 hasConcept C88548561 @default.
- W2757054385 hasConcept C94625758 @default.
- W2757054385 hasConceptScore W2757054385C108094655 @default.
- W2757054385 hasConceptScore W2757054385C111696304 @default.
- W2757054385 hasConceptScore W2757054385C11413529 @default.
- W2757054385 hasConceptScore W2757054385C124101348 @default.
- W2757054385 hasConceptScore W2757054385C127413603 @default.
- W2757054385 hasConceptScore W2757054385C169087156 @default.
- W2757054385 hasConceptScore W2757054385C17744445 @default.
- W2757054385 hasConceptScore W2757054385C199360897 @default.
- W2757054385 hasConceptScore W2757054385C199539241 @default.
- W2757054385 hasConceptScore W2757054385C23123220 @default.
- W2757054385 hasConceptScore W2757054385C26713055 @default.
- W2757054385 hasConceptScore W2757054385C2776359362 @default.
- W2757054385 hasConceptScore W2757054385C2778937211 @default.
- W2757054385 hasConceptScore W2757054385C35555965 @default.
- W2757054385 hasConceptScore W2757054385C41008148 @default.
- W2757054385 hasConceptScore W2757054385C5655090 @default.
- W2757054385 hasConceptScore W2757054385C66938386 @default.
- W2757054385 hasConceptScore W2757054385C80444323 @default.
- W2757054385 hasConceptScore W2757054385C88548561 @default.
- W2757054385 hasConceptScore W2757054385C94625758 @default.
- W2757054385 hasLocation W27570543851 @default.
- W2757054385 hasLocation W27570543852 @default.
- W2757054385 hasOpenAccess W2757054385 @default.
- W2757054385 hasPrimaryLocation W27570543851 @default.
- W2757054385 hasRelatedWork W151752673 @default.
- W2757054385 hasRelatedWork W2065192940 @default.
- W2757054385 hasRelatedWork W2085544944 @default.
- W2757054385 hasRelatedWork W2110175944 @default.
- W2757054385 hasRelatedWork W2607252400 @default.
- W2757054385 hasRelatedWork W3037448952 @default.
- W2757054385 hasRelatedWork W3102398360 @default.
- W2757054385 hasRelatedWork W4249258160 @default.
- W2757054385 hasRelatedWork W4300167273 @default.
- W2757054385 hasRelatedWork W4320925713 @default.
- W2757054385 isParatext "false" @default.
- W2757054385 isRetracted "false" @default.
- W2757054385 magId "2757054385" @default.
- W2757054385 workType "article" @default.