Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030762481> ?p ?o ?g. }
- W2030762481 abstract "Recently, a new semantics for non-deterministic lazy functional(-logic) programming has been presented, in which the treatment of parameter passing was different to previous proposals like call-time choice (CRWL) and run-time choice (term rewriting). There, the semantics was formalized through the @pCRWL calculus, and a program transformation to simulate @pCRWL with term rewriting was proposed. In the present work we use the Maude system to implement that transformation and to get an interpreter for @pCRWL, thus providing a first implementation of this new semantics. Besides, in order to improve the performance of the prototype, an implementation of the natural rewriting on-demand strategy has been developed, therefore taking the first steps towards obtaining a framework for on-demand evaluation of Maude system modules." @default.
- W2030762481 created "2016-06-24" @default.
- W2030762481 creator A5024844226 @default.
- W2030762481 creator A5048720165 @default.
- W2030762481 date "2010-09-01" @default.
- W2030762481 modified "2023-10-01" @default.
- W2030762481 title "A Natural Implementation of Plural Semantics in Maude" @default.
- W2030762481 cites W1486941949 @default.
- W2030762481 cites W1504007491 @default.
- W2030762481 cites W1522154830 @default.
- W2030762481 cites W1584498345 @default.
- W2030762481 cites W1976195354 @default.
- W2030762481 cites W1991598919 @default.
- W2030762481 cites W2010321110 @default.
- W2030762481 cites W2010331618 @default.
- W2030762481 cites W2017543653 @default.
- W2030762481 cites W2020541172 @default.
- W2030762481 cites W2045721873 @default.
- W2030762481 cites W2063521547 @default.
- W2030762481 cites W2100308810 @default.
- W2030762481 cites W2106602483 @default.
- W2030762481 cites W2131954800 @default.
- W2030762481 cites W2138319635 @default.
- W2030762481 cites W2139760036 @default.
- W2030762481 cites W2203051631 @default.
- W2030762481 cites W2340608611 @default.
- W2030762481 cites W2913954624 @default.
- W2030762481 cites W68427271 @default.
- W2030762481 cites W3203954530 @default.
- W2030762481 doi "https://doi.org/10.1016/j.entcs.2010.08.039" @default.
- W2030762481 hasPublicationYear "2010" @default.
- W2030762481 type Work @default.
- W2030762481 sameAs 2030762481 @default.
- W2030762481 citedByCount "3" @default.
- W2030762481 countsByYear W20307624812012 @default.
- W2030762481 countsByYear W20307624812013 @default.
- W2030762481 crossrefType "journal-article" @default.
- W2030762481 hasAuthorship W2030762481A5024844226 @default.
- W2030762481 hasAuthorship W2030762481A5048720165 @default.
- W2030762481 hasBestOaLocation W20307624811 @default.
- W2030762481 hasConcept C104317684 @default.
- W2030762481 hasConcept C121332964 @default.
- W2030762481 hasConcept C122783720 @default.
- W2030762481 hasConcept C128099668 @default.
- W2030762481 hasConcept C154690210 @default.
- W2030762481 hasConcept C156325763 @default.
- W2030762481 hasConcept C184337299 @default.
- W2030762481 hasConcept C185592680 @default.
- W2030762481 hasConcept C199360897 @default.
- W2030762481 hasConcept C204241405 @default.
- W2030762481 hasConcept C2778361913 @default.
- W2030762481 hasConcept C41008148 @default.
- W2030762481 hasConcept C42383842 @default.
- W2030762481 hasConcept C55493867 @default.
- W2030762481 hasConcept C61797465 @default.
- W2030762481 hasConcept C62520636 @default.
- W2030762481 hasConcept C77906462 @default.
- W2030762481 hasConcept C80444323 @default.
- W2030762481 hasConceptScore W2030762481C104317684 @default.
- W2030762481 hasConceptScore W2030762481C121332964 @default.
- W2030762481 hasConceptScore W2030762481C122783720 @default.
- W2030762481 hasConceptScore W2030762481C128099668 @default.
- W2030762481 hasConceptScore W2030762481C154690210 @default.
- W2030762481 hasConceptScore W2030762481C156325763 @default.
- W2030762481 hasConceptScore W2030762481C184337299 @default.
- W2030762481 hasConceptScore W2030762481C185592680 @default.
- W2030762481 hasConceptScore W2030762481C199360897 @default.
- W2030762481 hasConceptScore W2030762481C204241405 @default.
- W2030762481 hasConceptScore W2030762481C2778361913 @default.
- W2030762481 hasConceptScore W2030762481C41008148 @default.
- W2030762481 hasConceptScore W2030762481C42383842 @default.
- W2030762481 hasConceptScore W2030762481C55493867 @default.
- W2030762481 hasConceptScore W2030762481C61797465 @default.
- W2030762481 hasConceptScore W2030762481C62520636 @default.
- W2030762481 hasConceptScore W2030762481C77906462 @default.
- W2030762481 hasConceptScore W2030762481C80444323 @default.
- W2030762481 hasLocation W20307624811 @default.
- W2030762481 hasLocation W20307624812 @default.
- W2030762481 hasOpenAccess W2030762481 @default.
- W2030762481 hasPrimaryLocation W20307624811 @default.
- W2030762481 hasRelatedWork W1586432163 @default.
- W2030762481 hasRelatedWork W1587138807 @default.
- W2030762481 hasRelatedWork W1965199769 @default.
- W2030762481 hasRelatedWork W1981466053 @default.
- W2030762481 hasRelatedWork W1990687394 @default.
- W2030762481 hasRelatedWork W2010321110 @default.
- W2030762481 hasRelatedWork W2053342841 @default.
- W2030762481 hasRelatedWork W2059756990 @default.
- W2030762481 hasRelatedWork W2065507854 @default.
- W2030762481 hasRelatedWork W2106305471 @default.
- W2030762481 hasRelatedWork W2111874500 @default.
- W2030762481 hasRelatedWork W2134287022 @default.
- W2030762481 hasRelatedWork W2187778085 @default.
- W2030762481 hasRelatedWork W2295221401 @default.
- W2030762481 hasRelatedWork W28354576 @default.
- W2030762481 hasRelatedWork W3105106018 @default.
- W2030762481 hasRelatedWork W3150067715 @default.
- W2030762481 hasRelatedWork W8857778 @default.
- W2030762481 hasRelatedWork W1744983872 @default.
- W2030762481 hasRelatedWork W2585339290 @default.