Matches in SemOpenAlex for { <https://semopenalex.org/work/W2340608611> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2340608611 abstract "The use of non-deterministic functions is a distinctive feature of modern functional logic languages. The semantics commonly adopted is call- time choice, a notion that at the operational level is related to the sharing mechanism of lazy evaluation in functional languages. However, there are situ- ations where run-time choice, closer to ordinary rewriting, is more appropriate. In this paper we propose a unied formal framework where both semantics can co-exist for the same progam. This is done through a careful but neat combina- tion of ordinary rewriting {to cope with run-time choice{ with local bindings via a let-construct devised to express call-time choice. The result is a exible framework into which existing call-time choice based languages can be embed- ded by means of a simple program transformation introducing lets in function denitions. We prove the adequacy of the embedding, as well as other relevant properties of the framework." @default.
- W2340608611 created "2016-06-24" @default.
- W2340608611 creator A5070290686 @default.
- W2340608611 date "2008-01-01" @default.
- W2340608611 modified "2023-09-27" @default.
- W2340608611 title "A Flexible Framework for Programming with Non-deterministic Functions ?" @default.
- W2340608611 cites W1512480360 @default.
- W2340608611 cites W2010331618 @default.
- W2340608611 cites W2017543653 @default.
- W2340608611 cites W2023922836 @default.
- W2340608611 cites W2030663607 @default.
- W2340608611 cites W2044013129 @default.
- W2340608611 cites W2063521547 @default.
- W2340608611 cites W2089674328 @default.
- W2340608611 cites W2105144754 @default.
- W2340608611 cites W2112022010 @default.
- W2340608611 cites W2119156278 @default.
- W2340608611 cites W2168144301 @default.
- W2340608611 cites W2585339290 @default.
- W2340608611 hasPublicationYear "2008" @default.
- W2340608611 type Work @default.
- W2340608611 sameAs 2340608611 @default.
- W2340608611 citedByCount "1" @default.
- W2340608611 crossrefType "journal-article" @default.
- W2340608611 hasAuthorship W2340608611A5070290686 @default.
- W2340608611 hasConcept C111472728 @default.
- W2340608611 hasConcept C128099668 @default.
- W2340608611 hasConcept C138885662 @default.
- W2340608611 hasConcept C14036430 @default.
- W2340608611 hasConcept C154690210 @default.
- W2340608611 hasConcept C154945302 @default.
- W2340608611 hasConcept C156325763 @default.
- W2340608611 hasConcept C184337299 @default.
- W2340608611 hasConcept C199360897 @default.
- W2340608611 hasConcept C2778361913 @default.
- W2340608611 hasConcept C2780586882 @default.
- W2340608611 hasConcept C2780801425 @default.
- W2340608611 hasConcept C41008148 @default.
- W2340608611 hasConcept C41608201 @default.
- W2340608611 hasConcept C42383842 @default.
- W2340608611 hasConcept C78458016 @default.
- W2340608611 hasConcept C80444323 @default.
- W2340608611 hasConcept C86803240 @default.
- W2340608611 hasConceptScore W2340608611C111472728 @default.
- W2340608611 hasConceptScore W2340608611C128099668 @default.
- W2340608611 hasConceptScore W2340608611C138885662 @default.
- W2340608611 hasConceptScore W2340608611C14036430 @default.
- W2340608611 hasConceptScore W2340608611C154690210 @default.
- W2340608611 hasConceptScore W2340608611C154945302 @default.
- W2340608611 hasConceptScore W2340608611C156325763 @default.
- W2340608611 hasConceptScore W2340608611C184337299 @default.
- W2340608611 hasConceptScore W2340608611C199360897 @default.
- W2340608611 hasConceptScore W2340608611C2778361913 @default.
- W2340608611 hasConceptScore W2340608611C2780586882 @default.
- W2340608611 hasConceptScore W2340608611C2780801425 @default.
- W2340608611 hasConceptScore W2340608611C41008148 @default.
- W2340608611 hasConceptScore W2340608611C41608201 @default.
- W2340608611 hasConceptScore W2340608611C42383842 @default.
- W2340608611 hasConceptScore W2340608611C78458016 @default.
- W2340608611 hasConceptScore W2340608611C80444323 @default.
- W2340608611 hasConceptScore W2340608611C86803240 @default.
- W2340608611 hasLocation W23406086111 @default.
- W2340608611 hasOpenAccess W2340608611 @default.
- W2340608611 hasPrimaryLocation W23406086111 @default.
- W2340608611 hasRelatedWork W1490031588 @default.
- W2340608611 hasRelatedWork W1529605599 @default.
- W2340608611 hasRelatedWork W1534323856 @default.
- W2340608611 hasRelatedWork W1580874247 @default.
- W2340608611 hasRelatedWork W1591783286 @default.
- W2340608611 hasRelatedWork W181154243 @default.
- W2340608611 hasRelatedWork W2005968294 @default.
- W2340608611 hasRelatedWork W2087062265 @default.
- W2340608611 hasRelatedWork W2114456644 @default.
- W2340608611 hasRelatedWork W2116496162 @default.
- W2340608611 hasRelatedWork W2140447075 @default.
- W2340608611 hasRelatedWork W2253830531 @default.
- W2340608611 hasRelatedWork W2501853541 @default.
- W2340608611 hasRelatedWork W2565370635 @default.
- W2340608611 hasRelatedWork W2912495805 @default.
- W2340608611 hasRelatedWork W3143671222 @default.
- W2340608611 hasRelatedWork W3201523680 @default.
- W2340608611 hasRelatedWork W42031307 @default.
- W2340608611 hasRelatedWork W66113185 @default.
- W2340608611 hasRelatedWork W953200356 @default.
- W2340608611 isParatext "false" @default.
- W2340608611 isRetracted "false" @default.
- W2340608611 magId "2340608611" @default.
- W2340608611 workType "article" @default.