Matches in SemOpenAlex for { <https://semopenalex.org/work/W2888471488> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2888471488 abstract "Set functions are a feature of functional logic programming to encapsulate all results of a non-deterministic computation in a single data structure. Given a function f of a functional logic program written in Curry, we describe a technique to synthesize the definition of the set function of f. The definition produced by our technique is based on standard Curry constructs. Our approach is interesting for three reasons. It allows reasoning about set functions, it offers an implementation of set functions which can be added to any Curry system, and it has the potential of changing our thinking about the implementation of non-determinism, a notoriously difficult problem." @default.
- W2888471488 created "2018-08-31" @default.
- W2888471488 creator A5012915644 @default.
- W2888471488 creator A5024421847 @default.
- W2888471488 creator A5048555021 @default.
- W2888471488 date "2019-01-01" @default.
- W2888471488 modified "2023-09-26" @default.
- W2888471488 title "Synthesizing Set Functions" @default.
- W2888471488 cites W1599996235 @default.
- W2888471488 cites W1605638241 @default.
- W2888471488 cites W1650673748 @default.
- W2888471488 cites W1973600615 @default.
- W2888471488 cites W1992085465 @default.
- W2888471488 cites W2044013129 @default.
- W2888471488 cites W2053867970 @default.
- W2888471488 cites W2063521547 @default.
- W2888471488 cites W2104980999 @default.
- W2888471488 cites W2113029157 @default.
- W2888471488 cites W2118499864 @default.
- W2888471488 cites W2127844749 @default.
- W2888471488 cites W2149935768 @default.
- W2888471488 cites W2155187121 @default.
- W2888471488 cites W2169528473 @default.
- W2888471488 cites W2182641640 @default.
- W2888471488 cites W2681883877 @default.
- W2888471488 cites W60003963 @default.
- W2888471488 cites W68427271 @default.
- W2888471488 doi "https://doi.org/10.1007/978-3-030-16202-3_6" @default.
- W2888471488 hasPublicationYear "2019" @default.
- W2888471488 type Work @default.
- W2888471488 sameAs 2888471488 @default.
- W2888471488 citedByCount "0" @default.
- W2888471488 crossrefType "book-chapter" @default.
- W2888471488 hasAuthorship W2888471488A5012915644 @default.
- W2888471488 hasAuthorship W2888471488A5024421847 @default.
- W2888471488 hasAuthorship W2888471488A5048555021 @default.
- W2888471488 hasBestOaLocation W28884714882 @default.
- W2888471488 hasConcept C128838566 @default.
- W2888471488 hasConcept C14036430 @default.
- W2888471488 hasConcept C177264268 @default.
- W2888471488 hasConcept C182620335 @default.
- W2888471488 hasConcept C199360897 @default.
- W2888471488 hasConcept C2781029818 @default.
- W2888471488 hasConcept C41008148 @default.
- W2888471488 hasConcept C42383842 @default.
- W2888471488 hasConcept C78458016 @default.
- W2888471488 hasConcept C79678938 @default.
- W2888471488 hasConcept C80444323 @default.
- W2888471488 hasConcept C86803240 @default.
- W2888471488 hasConceptScore W2888471488C128838566 @default.
- W2888471488 hasConceptScore W2888471488C14036430 @default.
- W2888471488 hasConceptScore W2888471488C177264268 @default.
- W2888471488 hasConceptScore W2888471488C182620335 @default.
- W2888471488 hasConceptScore W2888471488C199360897 @default.
- W2888471488 hasConceptScore W2888471488C2781029818 @default.
- W2888471488 hasConceptScore W2888471488C41008148 @default.
- W2888471488 hasConceptScore W2888471488C42383842 @default.
- W2888471488 hasConceptScore W2888471488C78458016 @default.
- W2888471488 hasConceptScore W2888471488C79678938 @default.
- W2888471488 hasConceptScore W2888471488C80444323 @default.
- W2888471488 hasConceptScore W2888471488C86803240 @default.
- W2888471488 hasLocation W28884714881 @default.
- W2888471488 hasLocation W28884714882 @default.
- W2888471488 hasOpenAccess W2888471488 @default.
- W2888471488 hasPrimaryLocation W28884714881 @default.
- W2888471488 hasRelatedWork W1552168992 @default.
- W2888471488 hasRelatedWork W1884320465 @default.
- W2888471488 hasRelatedWork W2061127899 @default.
- W2888471488 hasRelatedWork W2124627636 @default.
- W2888471488 hasRelatedWork W2172896471 @default.
- W2888471488 hasRelatedWork W2217568681 @default.
- W2888471488 hasRelatedWork W2724940431 @default.
- W2888471488 hasRelatedWork W2888471488 @default.
- W2888471488 hasRelatedWork W2903457445 @default.
- W2888471488 hasRelatedWork W3104588709 @default.
- W2888471488 isParatext "false" @default.
- W2888471488 isRetracted "false" @default.
- W2888471488 magId "2888471488" @default.
- W2888471488 workType "book-chapter" @default.