Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029776211> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2029776211 abstract "Abstract Recent advances in the foundations and the development of functional logic programming languages originate from far-reaching results on narrowing evaluation strategies. Narrowing is a computation similar to rewriting which yields substitutions in addition to normal forms. In functional logic programming, the classes of rewrite systems to which narrowing is applied are, for the most part, subclasses of the constructor-based, possibly conditional, rewrite systems. Many interesting narrowing strategies, particularly for the smallest subclasses of the constructor-based rewrite systems, are generalizations of well-known rewrite strategies. However, some strategies for larger non-confluents subclasses have been developed just for functional logic computations. In this paper, I will discuss the elements that play a relevant role in evaluation strategies for functional logic programming, describe some important classes of rewrite systems that model functional logic programs, show examples of the differences in expressiveness provided by these classes, and review the characteristics of narrowing strategies proposed for each class of rewrite systems." @default.
- W2029776211 created "2016-06-24" @default.
- W2029776211 creator A5012915644 @default.
- W2029776211 date "2001-12-01" @default.
- W2029776211 modified "2023-09-24" @default.
- W2029776211 title "Evaluation Strategies for Functional Logic Programming" @default.
- W2029776211 cites W1507693023 @default.
- W2029776211 cites W1514390600 @default.
- W2029776211 cites W1547967717 @default.
- W2029776211 cites W1550461844 @default.
- W2029776211 cites W1578902885 @default.
- W2029776211 cites W1583295953 @default.
- W2029776211 cites W1603716093 @default.
- W2029776211 cites W1869358111 @default.
- W2029776211 cites W1992085465 @default.
- W2029776211 cites W2009944560 @default.
- W2029776211 cites W2059799630 @default.
- W2029776211 cites W2072132721 @default.
- W2029776211 cites W2102574149 @default.
- W2029776211 cites W2105144754 @default.
- W2029776211 cites W2126018011 @default.
- W2029776211 cites W2166060774 @default.
- W2029776211 cites W2167316540 @default.
- W2029776211 cites W2168144301 @default.
- W2029776211 cites W2169402190 @default.
- W2029776211 cites W2394749920 @default.
- W2029776211 cites W2912818154 @default.
- W2029776211 cites W2913954624 @default.
- W2029776211 cites W3203954530 @default.
- W2029776211 doi "https://doi.org/10.1016/s1571-0661(04)00265-8" @default.
- W2029776211 hasPublicationYear "2001" @default.
- W2029776211 type Work @default.
- W2029776211 sameAs 2029776211 @default.
- W2029776211 citedByCount "3" @default.
- W2029776211 crossrefType "journal-article" @default.
- W2029776211 hasAuthorship W2029776211A5012915644 @default.
- W2029776211 hasBestOaLocation W20297762111 @default.
- W2029776211 hasConcept C128838566 @default.
- W2029776211 hasConcept C146206909 @default.
- W2029776211 hasConcept C154690210 @default.
- W2029776211 hasConcept C154945302 @default.
- W2029776211 hasConcept C199360897 @default.
- W2029776211 hasConcept C2777212361 @default.
- W2029776211 hasConcept C2987117450 @default.
- W2029776211 hasConcept C34165917 @default.
- W2029776211 hasConcept C41008148 @default.
- W2029776211 hasConcept C42383842 @default.
- W2029776211 hasConcept C50033165 @default.
- W2029776211 hasConcept C79678938 @default.
- W2029776211 hasConcept C80444323 @default.
- W2029776211 hasConcept C96315309 @default.
- W2029776211 hasConceptScore W2029776211C128838566 @default.
- W2029776211 hasConceptScore W2029776211C146206909 @default.
- W2029776211 hasConceptScore W2029776211C154690210 @default.
- W2029776211 hasConceptScore W2029776211C154945302 @default.
- W2029776211 hasConceptScore W2029776211C199360897 @default.
- W2029776211 hasConceptScore W2029776211C2777212361 @default.
- W2029776211 hasConceptScore W2029776211C2987117450 @default.
- W2029776211 hasConceptScore W2029776211C34165917 @default.
- W2029776211 hasConceptScore W2029776211C41008148 @default.
- W2029776211 hasConceptScore W2029776211C42383842 @default.
- W2029776211 hasConceptScore W2029776211C50033165 @default.
- W2029776211 hasConceptScore W2029776211C79678938 @default.
- W2029776211 hasConceptScore W2029776211C80444323 @default.
- W2029776211 hasConceptScore W2029776211C96315309 @default.
- W2029776211 hasLocation W20297762111 @default.
- W2029776211 hasOpenAccess W2029776211 @default.
- W2029776211 hasPrimaryLocation W20297762111 @default.
- W2029776211 hasRelatedWork W1500687250 @default.
- W2029776211 hasRelatedWork W1502508810 @default.
- W2029776211 hasRelatedWork W1505437623 @default.
- W2029776211 hasRelatedWork W1520476983 @default.
- W2029776211 hasRelatedWork W1521843416 @default.
- W2029776211 hasRelatedWork W1525248835 @default.
- W2029776211 hasRelatedWork W1547967717 @default.
- W2029776211 hasRelatedWork W1575848714 @default.
- W2029776211 hasRelatedWork W1645062691 @default.
- W2029776211 hasRelatedWork W188474948 @default.
- W2029776211 hasRelatedWork W2017500299 @default.
- W2029776211 hasRelatedWork W2474384703 @default.
- W2029776211 hasRelatedWork W2536044142 @default.
- W2029776211 hasRelatedWork W2543378572 @default.
- W2029776211 hasRelatedWork W2913954624 @default.
- W2029776211 hasRelatedWork W2945193749 @default.
- W2029776211 hasRelatedWork W2964182171 @default.
- W2029776211 hasRelatedWork W2992029687 @default.
- W2029776211 hasRelatedWork W3016159912 @default.
- W2029776211 hasRelatedWork W2134488876 @default.
- W2029776211 isParatext "false" @default.
- W2029776211 isRetracted "false" @default.
- W2029776211 magId "2029776211" @default.
- W2029776211 workType "article" @default.