FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116776985> ?p ?o ?g. }

• W2116776985 endingPage "844" @default.
• W2116776985 startingPage "768" @default.
• W2116776985 abstract "Languages that integrate functional and logic programming with a complete operational semantics are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction principle of functional languages and the resolution principle of logic languages. In this article, we present a partial evaluation scheme for functional logic languages based on an automatic unfolding algorithm which builds narrowing trees. The method is formalized within the theoretical framework established by Lloyd and Shepherdson for the partial deduction of logic programs, which we have generalized for dealing with functional computations. A generic specialization algorithm is proposed which does not depend on the eager or lazy nature of the narrower being used. To the best of our knowledge, this is the first generic algorithm for the specialization of functional logic programs. We also discuss the relation to work on partial evaluation in functional programming, term-rewriting systems, and logic programming. Finally, we present some experimental results with an implementation of the algorithm which show in practice that the narrowing-driven partial evaluator effectively combines the propagation of partial data structures (by means of logical variables and unification) with better opportunities for optimization (thanks to the functional dimension)." @default.
• W2116776985 created "2016-06-24" @default.
• W2116776985 creator A5033696911 @default.
• W2116776985 creator A5051613376 @default.
• W2116776985 creator A5053216941 @default.
• W2116776985 date "1998-07-01" @default.
• W2116776985 modified "2023-10-15" @default.
• W2116776985 title "Partial evaluation of functional logic programs" @default.
• W2116776985 cites W147641928 @default.
• W2116776985 cites W1560828232 @default.
• W2116776985 cites W1568484765 @default.
• W2116776985 cites W1583454894 @default.
• W2116776985 cites W1592422288 @default.
• W2116776985 cites W1985929555 @default.
• W2116776985 cites W1988185893 @default.
• W2116776985 cites W1991589943 @default.
• W2116776985 cites W2015788118 @default.
• W2116776985 cites W2019962118 @default.
• W2116776985 cites W2020024606 @default.
• W2116776985 cites W2023299380 @default.
• W2116776985 cites W2031825596 @default.
• W2116776985 cites W2037035101 @default.
• W2116776985 cites W2048748607 @default.
• W2116776985 cites W2048831705 @default.
• W2116776985 cites W2053719172 @default.
• W2116776985 cites W2055807110 @default.
• W2116776985 cites W2056637458 @default.
• W2116776985 cites W2058958439 @default.
• W2116776985 cites W2059237359 @default.
• W2116776985 cites W2059799630 @default.
• W2116776985 cites W2084489002 @default.
• W2116776985 cites W2087389137 @default.
• W2116776985 cites W2094243107 @default.
• W2116776985 cites W2118351936 @default.
• W2116776985 cites W2118383426 @default.
• W2116776985 cites W2123396057 @default.
• W2116776985 cites W2125977928 @default.
• W2116776985 cites W2127455814 @default.
• W2116776985 cites W2135124683 @default.
• W2116776985 cites W2137818097 @default.
• W2116776985 cites W2138364864 @default.
• W2116776985 cites W2144678770 @default.
• W2116776985 cites W2146817259 @default.
• W2116776985 cites W2147335415 @default.
• W2116776985 cites W2208923056 @default.
• W2116776985 doi "https://doi.org/10.1145/291891.291896" @default.
• W2116776985 hasPublicationYear "1998" @default.
• W2116776985 type Work @default.
• W2116776985 sameAs 2116776985 @default.
• W2116776985 citedByCount "89" @default.
• W2116776985 countsByYear W21167769852012 @default.
• W2116776985 countsByYear W21167769852013 @default.
• W2116776985 countsByYear W21167769852014 @default.
• W2116776985 countsByYear W21167769852015 @default.
• W2116776985 countsByYear W21167769852016 @default.
• W2116776985 countsByYear W21167769852017 @default.
• W2116776985 countsByYear W21167769852018 @default.
• W2116776985 countsByYear W21167769852019 @default.
• W2116776985 countsByYear W21167769852020 @default.
• W2116776985 countsByYear W21167769852022 @default.
• W2116776985 countsByYear W21167769852023 @default.
• W2116776985 crossrefType "journal-article" @default.
• W2116776985 hasAuthorship W2116776985A5033696911 @default.
• W2116776985 hasAuthorship W2116776985A5051613376 @default.
• W2116776985 hasAuthorship W2116776985A5053216941 @default.
• W2116776985 hasBestOaLocation W21167769851 @default.
• W2116776985 hasConcept C11413529 @default.
• W2116776985 hasConcept C128099668 @default.
• W2116776985 hasConcept C128838566 @default.
• W2116776985 hasConcept C146206909 @default.
• W2116776985 hasConcept C154690210 @default.
• W2116776985 hasConcept C184337299 @default.
• W2116776985 hasConcept C195701839 @default.
• W2116776985 hasConcept C199360897 @default.
• W2116776985 hasConcept C34165917 @default.
• W2116776985 hasConcept C41008148 @default.
• W2116776985 hasConcept C42383842 @default.
• W2116776985 hasConcept C50033165 @default.
• W2116776985 hasConcept C80444323 @default.
• W2116776985 hasConcept C96146094 @default.
• W2116776985 hasConcept C96315309 @default.
• W2116776985 hasConceptScore W2116776985C11413529 @default.
• W2116776985 hasConceptScore W2116776985C128099668 @default.
• W2116776985 hasConceptScore W2116776985C128838566 @default.
• W2116776985 hasConceptScore W2116776985C146206909 @default.
• W2116776985 hasConceptScore W2116776985C154690210 @default.
• W2116776985 hasConceptScore W2116776985C184337299 @default.
• W2116776985 hasConceptScore W2116776985C195701839 @default.
• W2116776985 hasConceptScore W2116776985C199360897 @default.
• W2116776985 hasConceptScore W2116776985C34165917 @default.
• W2116776985 hasConceptScore W2116776985C41008148 @default.
• W2116776985 hasConceptScore W2116776985C42383842 @default.
• W2116776985 hasConceptScore W2116776985C50033165 @default.
• W2116776985 hasConceptScore W2116776985C80444323 @default.
• W2116776985 hasConceptScore W2116776985C96146094 @default.
• W2116776985 hasConceptScore W2116776985C96315309 @default.
• W2116776985 hasIssue "4" @default.
• W2116776985 hasLocation W21167769851 @default.

• next