Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570759769> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1570759769 abstract "We address the problem of finding the common generalisation of a set of Haskell function definitions so that each function can be defined by partial application of the generalisation. By analogy with unification, which derives the most general common specialisation of two terms, we aim to infer the least general common generalisation. This problem has a unique solution in a first-order setting, but not in a higher-order language. We define a smallest minimal common generalisation which is unique and consider how it might be used for automated program improvement. The same function can have many definitions; we risk over-generalisation if equality is not recognised. A normalising rewrite system is used before generalisation, so many equivalent definitions become identical. The generalisation system we describe has been implemented in Haskell." @default.
- W1570759769 created "2016-06-24" @default.
- W1570759769 creator A5004216967 @default.
- W1570759769 creator A5018902600 @default.
- W1570759769 date "1999-01-01" @default.
- W1570759769 modified "2023-09-27" @default.
- W1570759769 title "Automated Generalisation of Function Definitions" @default.
- W1570759769 cites W1555227499 @default.
- W1570759769 cites W1965015180 @default.
- W1570759769 cites W1983718842 @default.
- W1570759769 cites W2033288425 @default.
- W1570759769 cites W2034676877 @default.
- W1570759769 cites W2076242896 @default.
- W1570759769 cites W2121757274 @default.
- W1570759769 cites W2157266926 @default.
- W1570759769 cites W2323682 @default.
- W1570759769 doi "https://doi.org/10.1007/10705424_15" @default.
- W1570759769 hasPublicationYear "1999" @default.
- W1570759769 type Work @default.
- W1570759769 sameAs 1570759769 @default.
- W1570759769 citedByCount "3" @default.
- W1570759769 countsByYear W15707597692013 @default.
- W1570759769 countsByYear W15707597692014 @default.
- W1570759769 crossrefType "book-chapter" @default.
- W1570759769 hasAuthorship W1570759769A5004216967 @default.
- W1570759769 hasAuthorship W1570759769A5018902600 @default.
- W1570759769 hasConcept C136119220 @default.
- W1570759769 hasConcept C138885662 @default.
- W1570759769 hasConcept C14036430 @default.
- W1570759769 hasConcept C154945302 @default.
- W1570759769 hasConcept C177264268 @default.
- W1570759769 hasConcept C199360897 @default.
- W1570759769 hasConcept C202444582 @default.
- W1570759769 hasConcept C2780624054 @default.
- W1570759769 hasConcept C33923547 @default.
- W1570759769 hasConcept C41008148 @default.
- W1570759769 hasConcept C41895202 @default.
- W1570759769 hasConcept C42383842 @default.
- W1570759769 hasConcept C521332185 @default.
- W1570759769 hasConcept C78458016 @default.
- W1570759769 hasConcept C80444323 @default.
- W1570759769 hasConcept C86803240 @default.
- W1570759769 hasConcept C96146094 @default.
- W1570759769 hasConceptScore W1570759769C136119220 @default.
- W1570759769 hasConceptScore W1570759769C138885662 @default.
- W1570759769 hasConceptScore W1570759769C14036430 @default.
- W1570759769 hasConceptScore W1570759769C154945302 @default.
- W1570759769 hasConceptScore W1570759769C177264268 @default.
- W1570759769 hasConceptScore W1570759769C199360897 @default.
- W1570759769 hasConceptScore W1570759769C202444582 @default.
- W1570759769 hasConceptScore W1570759769C2780624054 @default.
- W1570759769 hasConceptScore W1570759769C33923547 @default.
- W1570759769 hasConceptScore W1570759769C41008148 @default.
- W1570759769 hasConceptScore W1570759769C41895202 @default.
- W1570759769 hasConceptScore W1570759769C42383842 @default.
- W1570759769 hasConceptScore W1570759769C521332185 @default.
- W1570759769 hasConceptScore W1570759769C78458016 @default.
- W1570759769 hasConceptScore W1570759769C80444323 @default.
- W1570759769 hasConceptScore W1570759769C86803240 @default.
- W1570759769 hasConceptScore W1570759769C96146094 @default.
- W1570759769 hasLocation W15707597691 @default.
- W1570759769 hasOpenAccess W1570759769 @default.
- W1570759769 hasPrimaryLocation W15707597691 @default.
- W1570759769 hasRelatedWork W193007183 @default.
- W1570759769 hasRelatedWork W1995638504 @default.
- W1570759769 hasRelatedWork W2111352036 @default.
- W1570759769 hasRelatedWork W2116793756 @default.
- W1570759769 hasRelatedWork W2164688709 @default.
- W1570759769 hasRelatedWork W2200330162 @default.
- W1570759769 hasRelatedWork W2509226929 @default.
- W1570759769 hasRelatedWork W2566284873 @default.
- W1570759769 hasRelatedWork W2599901826 @default.
- W1570759769 hasRelatedWork W2741834483 @default.
- W1570759769 hasRelatedWork W2761708928 @default.
- W1570759769 hasRelatedWork W2905322703 @default.
- W1570759769 hasRelatedWork W2942487569 @default.
- W1570759769 hasRelatedWork W2949532401 @default.
- W1570759769 hasRelatedWork W2951888354 @default.
- W1570759769 hasRelatedWork W2962735422 @default.
- W1570759769 hasRelatedWork W3031673955 @default.
- W1570759769 hasRelatedWork W3091639623 @default.
- W1570759769 hasRelatedWork W3186330552 @default.
- W1570759769 hasRelatedWork W2395333045 @default.
- W1570759769 isParatext "false" @default.
- W1570759769 isRetracted "false" @default.
- W1570759769 magId "1570759769" @default.
- W1570759769 workType "book-chapter" @default.