Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020541172> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2020541172 endingPage "39" @default.
- W2020541172 startingPage "25" @default.
- W2020541172 abstract "Strategy annotations provide a simple mechanism for introducing some laziness in the evaluation of expressions. As an eager programming language, Maude can take advantage of them and, in fact, they are part of the language. Maude strategy annotations are lists of non-negative integers associated to function symbols which specify the ordering in which the arguments are (eventually) evaluated in function calls. A positive index enables the evaluation of an argument whereas 'zero' means that the function call has to be attempted. The use of negative indices has been proposed to express evaluation on-demand, where the demand is an attempt to match an argument term with the left-hand side of a rewrite rule. In this paper we show how to furnish Maude with the ability of dealing with on-demand strategy annotations." @default.
- W2020541172 created "2016-06-24" @default.
- W2020541172 creator A5012146310 @default.
- W2020541172 creator A5016544041 @default.
- W2020541172 creator A5032149189 @default.
- W2020541172 date "2005-03-01" @default.
- W2020541172 modified "2023-09-30" @default.
- W2020541172 title "On-demand Evaluation for Maude" @default.
- W2020541172 cites W140201965 @default.
- W2020541172 cites W1530670565 @default.
- W2020541172 cites W1938720220 @default.
- W2020541172 cites W1992383986 @default.
- W2020541172 cites W2013061711 @default.
- W2020541172 cites W2014680812 @default.
- W2020541172 cites W2021957222 @default.
- W2020541172 cites W2028274891 @default.
- W2020541172 cites W2032825481 @default.
- W2020541172 cites W2037343092 @default.
- W2020541172 cites W2082314942 @default.
- W2020541172 cites W2088747311 @default.
- W2020541172 cites W2089309203 @default.
- W2020541172 cites W2106561528 @default.
- W2020541172 cites W2114726934 @default.
- W2020541172 cites W2134287022 @default.
- W2020541172 cites W2161853982 @default.
- W2020541172 cites W2585339290 @default.
- W2020541172 doi "https://doi.org/10.1016/j.entcs.2004.07.013" @default.
- W2020541172 hasPublicationYear "2005" @default.
- W2020541172 type Work @default.
- W2020541172 sameAs 2020541172 @default.
- W2020541172 citedByCount "6" @default.
- W2020541172 crossrefType "journal-article" @default.
- W2020541172 hasAuthorship W2020541172A5012146310 @default.
- W2020541172 hasAuthorship W2020541172A5016544041 @default.
- W2020541172 hasAuthorship W2020541172A5032149189 @default.
- W2020541172 hasBestOaLocation W20205411721 @default.
- W2020541172 hasConcept C111472728 @default.
- W2020541172 hasConcept C118552586 @default.
- W2020541172 hasConcept C121332964 @default.
- W2020541172 hasConcept C128099668 @default.
- W2020541172 hasConcept C138885662 @default.
- W2020541172 hasConcept C14036430 @default.
- W2020541172 hasConcept C15744967 @default.
- W2020541172 hasConcept C185592680 @default.
- W2020541172 hasConcept C199360897 @default.
- W2020541172 hasConcept C2776447739 @default.
- W2020541172 hasConcept C2780586882 @default.
- W2020541172 hasConcept C2780813799 @default.
- W2020541172 hasConcept C41008148 @default.
- W2020541172 hasConcept C41895202 @default.
- W2020541172 hasConcept C42383842 @default.
- W2020541172 hasConcept C55493867 @default.
- W2020541172 hasConcept C61797465 @default.
- W2020541172 hasConcept C62520636 @default.
- W2020541172 hasConcept C78458016 @default.
- W2020541172 hasConcept C86803240 @default.
- W2020541172 hasConcept C98184364 @default.
- W2020541172 hasConceptScore W2020541172C111472728 @default.
- W2020541172 hasConceptScore W2020541172C118552586 @default.
- W2020541172 hasConceptScore W2020541172C121332964 @default.
- W2020541172 hasConceptScore W2020541172C128099668 @default.
- W2020541172 hasConceptScore W2020541172C138885662 @default.
- W2020541172 hasConceptScore W2020541172C14036430 @default.
- W2020541172 hasConceptScore W2020541172C15744967 @default.
- W2020541172 hasConceptScore W2020541172C185592680 @default.
- W2020541172 hasConceptScore W2020541172C199360897 @default.
- W2020541172 hasConceptScore W2020541172C2776447739 @default.
- W2020541172 hasConceptScore W2020541172C2780586882 @default.
- W2020541172 hasConceptScore W2020541172C2780813799 @default.
- W2020541172 hasConceptScore W2020541172C41008148 @default.
- W2020541172 hasConceptScore W2020541172C41895202 @default.
- W2020541172 hasConceptScore W2020541172C42383842 @default.
- W2020541172 hasConceptScore W2020541172C55493867 @default.
- W2020541172 hasConceptScore W2020541172C61797465 @default.
- W2020541172 hasConceptScore W2020541172C62520636 @default.
- W2020541172 hasConceptScore W2020541172C78458016 @default.
- W2020541172 hasConceptScore W2020541172C86803240 @default.
- W2020541172 hasConceptScore W2020541172C98184364 @default.
- W2020541172 hasIssue "1" @default.
- W2020541172 hasLocation W20205411721 @default.
- W2020541172 hasOpenAccess W2020541172 @default.
- W2020541172 hasPrimaryLocation W20205411721 @default.
- W2020541172 hasRelatedWork W1481383228 @default.
- W2020541172 hasRelatedWork W1489609867 @default.
- W2020541172 hasRelatedWork W2003078175 @default.
- W2020541172 hasRelatedWork W2005246097 @default.
- W2020541172 hasRelatedWork W2027798793 @default.
- W2020541172 hasRelatedWork W2038634739 @default.
- W2020541172 hasRelatedWork W2097911101 @default.
- W2020541172 hasRelatedWork W2115737686 @default.
- W2020541172 hasRelatedWork W2165614283 @default.
- W2020541172 hasRelatedWork W2652642432 @default.
- W2020541172 hasVolume "124" @default.
- W2020541172 isParatext "false" @default.
- W2020541172 isRetracted "false" @default.
- W2020541172 magId "2020541172" @default.
- W2020541172 workType "article" @default.