Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401596948> ?p ?o ?g. }
- W2401596948 abstract "Functional logic languages combine lazy (demand-driven) evaluation strategies from functional programming with non-deterministic computations from logic programming. To provide a strategy-independent semantics, most languages are based on the call-time choice semantics where parameters are passed as values. From an implementation point of view, the call-time choice semantics fits well with sharing performed by lazy languages. On the other hand, there are also situations where it is intended to pass non-deterministic arguments as sets of values in order to exploit the power of non-deterministic programming. This alternative parameter passing model is known under the name “plural” arguments. In this paper, we show how both mechanisms can be integrated in a single language. In particular, we present a novel technique to implement plural arguments in a call-time choice language so that existing implementations of contemporary functional logic languages can be easily re-used to implement plural parameter passing." @default.
- W2401596948 created "2016-06-24" @default.
- W2401596948 creator A5024421847 @default.
- W2401596948 date "2013-01-01" @default.
- W2401596948 modified "2023-09-24" @default.
- W2401596948 title "Adding Plural Arguments to Curry Programs." @default.
- W2401596948 cites W1486941949 @default.
- W2401596948 cites W1508922656 @default.
- W2401596948 cites W1522154830 @default.
- W2401596948 cites W1549917467 @default.
- W2401596948 cites W1556536463 @default.
- W2401596948 cites W1561602672 @default.
- W2401596948 cites W1583295953 @default.
- W2401596948 cites W1584498345 @default.
- W2401596948 cites W1598835948 @default.
- W2401596948 cites W1650673748 @default.
- W2401596948 cites W1880050370 @default.
- W2401596948 cites W1983937740 @default.
- W2401596948 cites W1992085465 @default.
- W2401596948 cites W2017543653 @default.
- W2401596948 cites W2022137742 @default.
- W2401596948 cites W2029976661 @default.
- W2401596948 cites W2030762481 @default.
- W2401596948 cites W2043416466 @default.
- W2401596948 cites W2044013129 @default.
- W2401596948 cites W2053867970 @default.
- W2401596948 cites W2063521547 @default.
- W2401596948 cites W2104980999 @default.
- W2401596948 cites W2116776985 @default.
- W2401596948 cites W2127844749 @default.
- W2401596948 cites W2131003004 @default.
- W2401596948 cites W2137198597 @default.
- W2401596948 cites W2139474931 @default.
- W2401596948 cites W2169402190 @default.
- W2401596948 cites W2912818154 @default.
- W2401596948 cites W2914897165 @default.
- W2401596948 cites W68427271 @default.
- W2401596948 cites W78995489 @default.
- W2401596948 cites W1510628702 @default.
- W2401596948 cites W1977760557 @default.
- W2401596948 cites W2583759421 @default.
- W2401596948 hasPublicationYear "2013" @default.
- W2401596948 type Work @default.
- W2401596948 sameAs 2401596948 @default.
- W2401596948 citedByCount "0" @default.
- W2401596948 crossrefType "journal-article" @default.
- W2401596948 hasAuthorship W2401596948A5024421847 @default.
- W2401596948 hasConcept C128838566 @default.
- W2401596948 hasConcept C138885662 @default.
- W2401596948 hasConcept C165696696 @default.
- W2401596948 hasConcept C184337299 @default.
- W2401596948 hasConcept C199360897 @default.
- W2401596948 hasConcept C26713055 @default.
- W2401596948 hasConcept C2779835924 @default.
- W2401596948 hasConcept C34165917 @default.
- W2401596948 hasConcept C38652104 @default.
- W2401596948 hasConcept C41008148 @default.
- W2401596948 hasConcept C41895202 @default.
- W2401596948 hasConcept C42383842 @default.
- W2401596948 hasConcept C50033165 @default.
- W2401596948 hasConcept C80444323 @default.
- W2401596948 hasConcept C96315309 @default.
- W2401596948 hasConceptScore W2401596948C128838566 @default.
- W2401596948 hasConceptScore W2401596948C138885662 @default.
- W2401596948 hasConceptScore W2401596948C165696696 @default.
- W2401596948 hasConceptScore W2401596948C184337299 @default.
- W2401596948 hasConceptScore W2401596948C199360897 @default.
- W2401596948 hasConceptScore W2401596948C26713055 @default.
- W2401596948 hasConceptScore W2401596948C2779835924 @default.
- W2401596948 hasConceptScore W2401596948C34165917 @default.
- W2401596948 hasConceptScore W2401596948C38652104 @default.
- W2401596948 hasConceptScore W2401596948C41008148 @default.
- W2401596948 hasConceptScore W2401596948C41895202 @default.
- W2401596948 hasConceptScore W2401596948C42383842 @default.
- W2401596948 hasConceptScore W2401596948C50033165 @default.
- W2401596948 hasConceptScore W2401596948C80444323 @default.
- W2401596948 hasConceptScore W2401596948C96315309 @default.
- W2401596948 hasLocation W24015969481 @default.
- W2401596948 hasOpenAccess W2401596948 @default.
- W2401596948 hasPrimaryLocation W24015969481 @default.
- W2401596948 hasRelatedWork W1413831282 @default.
- W2401596948 hasRelatedWork W1488880065 @default.
- W2401596948 hasRelatedWork W1498264241 @default.
- W2401596948 hasRelatedWork W1503552388 @default.
- W2401596948 hasRelatedWork W1512029759 @default.
- W2401596948 hasRelatedWork W1542304993 @default.
- W2401596948 hasRelatedWork W1592922501 @default.
- W2401596948 hasRelatedWork W2004200215 @default.
- W2401596948 hasRelatedWork W2017543653 @default.
- W2401596948 hasRelatedWork W2021519440 @default.
- W2401596948 hasRelatedWork W2036315030 @default.
- W2401596948 hasRelatedWork W2101225843 @default.
- W2401596948 hasRelatedWork W2130480853 @default.
- W2401596948 hasRelatedWork W2221309524 @default.
- W2401596948 hasRelatedWork W2404181034 @default.
- W2401596948 hasRelatedWork W2416772720 @default.
- W2401596948 hasRelatedWork W2621223372 @default.
- W2401596948 hasRelatedWork W2731085289 @default.
- W2401596948 hasRelatedWork W327634714 @default.
- W2401596948 hasRelatedWork W48973007 @default.