Matches in SemOpenAlex for { <https://semopenalex.org/work/W3108806107> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3108806107 endingPage "302" @default.
- W3108806107 startingPage "296" @default.
- W3108806107 abstract "In this research summary we present our recent work on implementing functional patterns with inverse functions in the lazy functional-logic programming language Curry. Our goal is the synthesis of the inverse of any given function in Curry itself. The setting of a functional-logic language especially allows the inversion of non-injective functions. In general, inverse computation is a non-trivial problem in lazy programming languages due to their non-strict semantics. We are so far able to directly derive the inverse function for a limited class of functions, namely those consisting of rules that do not involve both extra variables and non-linear right-hand sides. Because the synthesized definitions are based on standard code, known optimizations techniques can be applied to them. For all other functions we can still provide an inverse function by using non-strict unification." @default.
- W3108806107 created "2020-12-07" @default.
- W3108806107 creator A5048555021 @default.
- W3108806107 date "2020-01-01" @default.
- W3108806107 modified "2023-09-26" @default.
- W3108806107 title "Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions." @default.
- W3108806107 hasPublicationYear "2020" @default.
- W3108806107 type Work @default.
- W3108806107 sameAs 3108806107 @default.
- W3108806107 citedByCount "0" @default.
- W3108806107 crossrefType "proceedings-article" @default.
- W3108806107 hasAuthorship W3108806107A5048555021 @default.
- W3108806107 hasConcept C11413529 @default.
- W3108806107 hasConcept C136119220 @default.
- W3108806107 hasConcept C140528856 @default.
- W3108806107 hasConcept C199360897 @default.
- W3108806107 hasConcept C202444582 @default.
- W3108806107 hasConcept C207467116 @default.
- W3108806107 hasConcept C2524010 @default.
- W3108806107 hasConcept C2781029818 @default.
- W3108806107 hasConcept C33923547 @default.
- W3108806107 hasConcept C41008148 @default.
- W3108806107 hasConcept C42383842 @default.
- W3108806107 hasConcept C79678938 @default.
- W3108806107 hasConcept C80444323 @default.
- W3108806107 hasConcept C96146094 @default.
- W3108806107 hasConceptScore W3108806107C11413529 @default.
- W3108806107 hasConceptScore W3108806107C136119220 @default.
- W3108806107 hasConceptScore W3108806107C140528856 @default.
- W3108806107 hasConceptScore W3108806107C199360897 @default.
- W3108806107 hasConceptScore W3108806107C202444582 @default.
- W3108806107 hasConceptScore W3108806107C207467116 @default.
- W3108806107 hasConceptScore W3108806107C2524010 @default.
- W3108806107 hasConceptScore W3108806107C2781029818 @default.
- W3108806107 hasConceptScore W3108806107C33923547 @default.
- W3108806107 hasConceptScore W3108806107C41008148 @default.
- W3108806107 hasConceptScore W3108806107C42383842 @default.
- W3108806107 hasConceptScore W3108806107C79678938 @default.
- W3108806107 hasConceptScore W3108806107C80444323 @default.
- W3108806107 hasConceptScore W3108806107C96146094 @default.
- W3108806107 hasLocation W31088061071 @default.
- W3108806107 hasOpenAccess W3108806107 @default.
- W3108806107 hasPrimaryLocation W31088061071 @default.
- W3108806107 hasRelatedWork W1470114689 @default.
- W3108806107 hasRelatedWork W1479894205 @default.
- W3108806107 hasRelatedWork W1481043689 @default.
- W3108806107 hasRelatedWork W1596723206 @default.
- W3108806107 hasRelatedWork W1994179113 @default.
- W3108806107 hasRelatedWork W2106500031 @default.
- W3108806107 hasRelatedWork W2540111681 @default.
- W3108806107 hasRelatedWork W2601109700 @default.
- W3108806107 hasRelatedWork W2725553666 @default.
- W3108806107 hasRelatedWork W2889686073 @default.
- W3108806107 hasRelatedWork W2911911075 @default.
- W3108806107 hasRelatedWork W2971122962 @default.
- W3108806107 hasRelatedWork W2976136300 @default.
- W3108806107 hasRelatedWork W2999111365 @default.
- W3108806107 hasRelatedWork W3087918608 @default.
- W3108806107 hasRelatedWork W3103318063 @default.
- W3108806107 hasRelatedWork W3145185114 @default.
- W3108806107 hasRelatedWork W625576180 @default.
- W3108806107 hasRelatedWork W74474582 @default.
- W3108806107 hasRelatedWork W329373491 @default.
- W3108806107 isParatext "false" @default.
- W3108806107 isRetracted "false" @default.
- W3108806107 magId "3108806107" @default.
- W3108806107 workType "article" @default.