Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788624062> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2788624062 endingPage "66" @default.
- W2788624062 startingPage "52" @default.
- W2788624062 abstract "In implementing evaluation strategies of the lambda-calculus, both correctness and efficiency of implementation are valid concerns. While the notion of correctness is determined by the evaluation strategy, regarding efficiency there is a larger design space that can be explored, in particular the trade-off between space versus time efficiency. We contributed to the study of this trade-off by the introduction of an abstract machine for call-by-need, inspired by Girard's Geometry of Interaction, a machine combining token passing and graph rewriting. This work presents an extension of the machine, to additionally accommodate left-to-right and right-to-left call-by-value strategies. We show soundness and completeness of the extended machine with respect to each of the call-by-need and two call-by-value strategies. Analysing time cost of its execution classifies the machine as efficient in Accattoli's taxonomy of abstract machines." @default.
- W2788624062 created "2018-03-06" @default.
- W2788624062 creator A5072298249 @default.
- W2788624062 creator A5076471067 @default.
- W2788624062 date "2018-02-16" @default.
- W2788624062 modified "2023-10-01" @default.
- W2788624062 title "Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting" @default.
- W2788624062 cites W1511381872 @default.
- W2788624062 cites W1524811322 @default.
- W2788624062 cites W1551363247 @default.
- W2788624062 cites W1583784885 @default.
- W2788624062 cites W1995338553 @default.
- W2788624062 cites W2015853945 @default.
- W2788624062 cites W2023801367 @default.
- W2788624062 cites W2024902159 @default.
- W2788624062 cites W2031190840 @default.
- W2788624062 cites W2083251128 @default.
- W2788624062 cites W2088735483 @default.
- W2788624062 cites W2103406007 @default.
- W2788624062 cites W2103859677 @default.
- W2788624062 cites W2106351589 @default.
- W2788624062 cites W2113757735 @default.
- W2788624062 cites W2149186626 @default.
- W2788624062 cites W2151423950 @default.
- W2788624062 cites W2161307913 @default.
- W2788624062 cites W2186958703 @default.
- W2788624062 cites W2232523289 @default.
- W2788624062 cites W2564406933 @default.
- W2788624062 cites W2764063203 @default.
- W2788624062 cites W2911865844 @default.
- W2788624062 cites W2962792150 @default.
- W2788624062 cites W348923616 @default.
- W2788624062 cites W4242772231 @default.
- W2788624062 doi "https://doi.org/10.4204/eptcs.265.5" @default.
- W2788624062 hasPublicationYear "2018" @default.
- W2788624062 type Work @default.
- W2788624062 sameAs 2788624062 @default.
- W2788624062 citedByCount "0" @default.
- W2788624062 crossrefType "journal-article" @default.
- W2788624062 hasAuthorship W2788624062A5072298249 @default.
- W2788624062 hasAuthorship W2788624062A5076471067 @default.
- W2788624062 hasBestOaLocation W27886240621 @default.
- W2788624062 hasConcept C111919701 @default.
- W2788624062 hasConcept C128099668 @default.
- W2788624062 hasConcept C132525143 @default.
- W2788624062 hasConcept C134306372 @default.
- W2788624062 hasConcept C154690210 @default.
- W2788624062 hasConcept C17231256 @default.
- W2788624062 hasConcept C199360897 @default.
- W2788624062 hasConcept C33923547 @default.
- W2788624062 hasConcept C39920170 @default.
- W2788624062 hasConcept C41008148 @default.
- W2788624062 hasConcept C42383842 @default.
- W2788624062 hasConcept C48145219 @default.
- W2788624062 hasConcept C55439883 @default.
- W2788624062 hasConcept C80444323 @default.
- W2788624062 hasConcept C88977235 @default.
- W2788624062 hasConceptScore W2788624062C111919701 @default.
- W2788624062 hasConceptScore W2788624062C128099668 @default.
- W2788624062 hasConceptScore W2788624062C132525143 @default.
- W2788624062 hasConceptScore W2788624062C134306372 @default.
- W2788624062 hasConceptScore W2788624062C154690210 @default.
- W2788624062 hasConceptScore W2788624062C17231256 @default.
- W2788624062 hasConceptScore W2788624062C199360897 @default.
- W2788624062 hasConceptScore W2788624062C33923547 @default.
- W2788624062 hasConceptScore W2788624062C39920170 @default.
- W2788624062 hasConceptScore W2788624062C41008148 @default.
- W2788624062 hasConceptScore W2788624062C42383842 @default.
- W2788624062 hasConceptScore W2788624062C48145219 @default.
- W2788624062 hasConceptScore W2788624062C55439883 @default.
- W2788624062 hasConceptScore W2788624062C80444323 @default.
- W2788624062 hasConceptScore W2788624062C88977235 @default.
- W2788624062 hasLocation W27886240621 @default.
- W2788624062 hasLocation W27886240622 @default.
- W2788624062 hasLocation W27886240623 @default.
- W2788624062 hasOpenAccess W2788624062 @default.
- W2788624062 hasPrimaryLocation W27886240621 @default.
- W2788624062 hasRelatedWork W133880381 @default.
- W2788624062 hasRelatedWork W1524771684 @default.
- W2788624062 hasRelatedWork W2060914009 @default.
- W2788624062 hasRelatedWork W2114658236 @default.
- W2788624062 hasRelatedWork W2782054465 @default.
- W2788624062 hasRelatedWork W2788624062 @default.
- W2788624062 hasRelatedWork W2794436579 @default.
- W2788624062 hasRelatedWork W2962726158 @default.
- W2788624062 hasRelatedWork W3101487288 @default.
- W2788624062 hasRelatedWork W2762266244 @default.
- W2788624062 hasVolume "265" @default.
- W2788624062 isParatext "false" @default.
- W2788624062 isRetracted "false" @default.
- W2788624062 magId "2788624062" @default.
- W2788624062 workType "article" @default.