Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893494040> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2893494040 abstract "We extend the structured recursive programming discipline, which favors the use of fold operations in place of general recursion, to abstract data types. The key idea is to represent an ADT by two parts, a constructor and a destructor, which are essentially functions to/from a common representation. Then a fold can work on an ADT by applying parameter functions to values that are delivered by the ADT's own destructor. Fold operations that use as a parameter the constructor of another ADT, called ADT transformers, play an important role and offer a concise programming style. We present some laws for ADT folds and transformers and show their use in program optimization and verification." @default.
- W2893494040 created "2018-10-05" @default.
- W2893494040 creator A5078733350 @default.
- W2893494040 date "1998-01-01" @default.
- W2893494040 modified "2023-09-27" @default.
- W2893494040 title "Metamorphic Programming: Structured Recursion for Abstract Data Types" @default.
- W2893494040 hasPublicationYear "1998" @default.
- W2893494040 type Work @default.
- W2893494040 sameAs 2893494040 @default.
- W2893494040 citedByCount "1" @default.
- W2893494040 countsByYear W28934940402020 @default.
- W2893494040 crossrefType "book" @default.
- W2893494040 hasAuthorship W2893494040A5078733350 @default.
- W2893494040 hasConcept C11413529 @default.
- W2893494040 hasConcept C119599485 @default.
- W2893494040 hasConcept C127313418 @default.
- W2893494040 hasConcept C127413603 @default.
- W2893494040 hasConcept C136119220 @default.
- W2893494040 hasConcept C138958017 @default.
- W2893494040 hasConcept C151730666 @default.
- W2893494040 hasConcept C165801399 @default.
- W2893494040 hasConcept C168773036 @default.
- W2893494040 hasConcept C199360897 @default.
- W2893494040 hasConcept C202444582 @default.
- W2893494040 hasConcept C2777102281 @default.
- W2893494040 hasConcept C2779711295 @default.
- W2893494040 hasConcept C33923547 @default.
- W2893494040 hasConcept C41008148 @default.
- W2893494040 hasConcept C53942344 @default.
- W2893494040 hasConcept C66322947 @default.
- W2893494040 hasConcept C80444323 @default.
- W2893494040 hasConceptScore W2893494040C11413529 @default.
- W2893494040 hasConceptScore W2893494040C119599485 @default.
- W2893494040 hasConceptScore W2893494040C127313418 @default.
- W2893494040 hasConceptScore W2893494040C127413603 @default.
- W2893494040 hasConceptScore W2893494040C136119220 @default.
- W2893494040 hasConceptScore W2893494040C138958017 @default.
- W2893494040 hasConceptScore W2893494040C151730666 @default.
- W2893494040 hasConceptScore W2893494040C165801399 @default.
- W2893494040 hasConceptScore W2893494040C168773036 @default.
- W2893494040 hasConceptScore W2893494040C199360897 @default.
- W2893494040 hasConceptScore W2893494040C202444582 @default.
- W2893494040 hasConceptScore W2893494040C2777102281 @default.
- W2893494040 hasConceptScore W2893494040C2779711295 @default.
- W2893494040 hasConceptScore W2893494040C33923547 @default.
- W2893494040 hasConceptScore W2893494040C41008148 @default.
- W2893494040 hasConceptScore W2893494040C53942344 @default.
- W2893494040 hasConceptScore W2893494040C66322947 @default.
- W2893494040 hasConceptScore W2893494040C80444323 @default.
- W2893494040 hasLocation W28934940401 @default.
- W2893494040 hasOpenAccess W2893494040 @default.
- W2893494040 hasPrimaryLocation W28934940401 @default.
- W2893494040 hasRelatedWork W1594075998 @default.
- W2893494040 hasRelatedWork W1972419886 @default.
- W2893494040 hasRelatedWork W2045128100 @default.
- W2893494040 hasRelatedWork W2096314727 @default.
- W2893494040 hasRelatedWork W2110122404 @default.
- W2893494040 hasRelatedWork W2160726062 @default.
- W2893494040 hasRelatedWork W2161877573 @default.
- W2893494040 hasRelatedWork W2163101388 @default.
- W2893494040 hasRelatedWork W2163246583 @default.
- W2893494040 hasRelatedWork W2382543539 @default.
- W2893494040 hasRelatedWork W2391618385 @default.
- W2893494040 hasRelatedWork W2471538120 @default.
- W2893494040 hasRelatedWork W2889757060 @default.
- W2893494040 hasRelatedWork W3005777145 @default.
- W2893494040 hasRelatedWork W3103318063 @default.
- W2893494040 hasRelatedWork W3125470836 @default.
- W2893494040 hasRelatedWork W46208337 @default.
- W2893494040 hasRelatedWork W563801046 @default.
- W2893494040 hasRelatedWork W757407613 @default.
- W2893494040 hasRelatedWork W883650713 @default.
- W2893494040 isParatext "false" @default.
- W2893494040 isRetracted "false" @default.
- W2893494040 magId "2893494040" @default.
- W2893494040 workType "book" @default.