Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962726158> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2962726158 endingPage "66" @default.
- W2962726158 startingPage "52" @default.
- W2962726158 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.
- W2962726158 created "2019-07-30" @default.
- W2962726158 creator A5072298249 @default.
- W2962726158 creator A5076471067 @default.
- W2962726158 date "2017-01-01" @default.
- W2962726158 modified "2023-09-26" @default.
- W2962726158 title "Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting." @default.
- W2962726158 hasPublicationYear "2017" @default.
- W2962726158 type Work @default.
- W2962726158 sameAs 2962726158 @default.
- W2962726158 citedByCount "2" @default.
- W2962726158 countsByYear W29627261582017 @default.
- W2962726158 countsByYear W29627261582018 @default.
- W2962726158 crossrefType "journal-article" @default.
- W2962726158 hasAuthorship W2962726158A5072298249 @default.
- W2962726158 hasAuthorship W2962726158A5076471067 @default.
- W2962726158 hasConcept C132525143 @default.
- W2962726158 hasConcept C134306372 @default.
- W2962726158 hasConcept C154690210 @default.
- W2962726158 hasConcept C17231256 @default.
- W2962726158 hasConcept C199360897 @default.
- W2962726158 hasConcept C31258907 @default.
- W2962726158 hasConcept C33923547 @default.
- W2962726158 hasConcept C39920170 @default.
- W2962726158 hasConcept C41008148 @default.
- W2962726158 hasConcept C48145219 @default.
- W2962726158 hasConcept C55439883 @default.
- W2962726158 hasConcept C80444323 @default.
- W2962726158 hasConcept C88977235 @default.
- W2962726158 hasConceptScore W2962726158C132525143 @default.
- W2962726158 hasConceptScore W2962726158C134306372 @default.
- W2962726158 hasConceptScore W2962726158C154690210 @default.
- W2962726158 hasConceptScore W2962726158C17231256 @default.
- W2962726158 hasConceptScore W2962726158C199360897 @default.
- W2962726158 hasConceptScore W2962726158C31258907 @default.
- W2962726158 hasConceptScore W2962726158C33923547 @default.
- W2962726158 hasConceptScore W2962726158C39920170 @default.
- W2962726158 hasConceptScore W2962726158C41008148 @default.
- W2962726158 hasConceptScore W2962726158C48145219 @default.
- W2962726158 hasConceptScore W2962726158C55439883 @default.
- W2962726158 hasConceptScore W2962726158C80444323 @default.
- W2962726158 hasConceptScore W2962726158C88977235 @default.
- W2962726158 hasLocation W29627261581 @default.
- W2962726158 hasOpenAccess W2962726158 @default.
- W2962726158 hasPrimaryLocation W29627261581 @default.
- W2962726158 hasRelatedWork W1430647328 @default.
- W2962726158 hasRelatedWork W1488787243 @default.
- W2962726158 hasRelatedWork W1490318930 @default.
- W2962726158 hasRelatedWork W1491762427 @default.
- W2962726158 hasRelatedWork W1513263504 @default.
- W2962726158 hasRelatedWork W1513845172 @default.
- W2962726158 hasRelatedWork W1588575005 @default.
- W2962726158 hasRelatedWork W1680431258 @default.
- W2962726158 hasRelatedWork W2112856950 @default.
- W2962726158 hasRelatedWork W2154938325 @default.
- W2962726158 hasRelatedWork W2184131427 @default.
- W2962726158 hasRelatedWork W2296197518 @default.
- W2962726158 hasRelatedWork W2417480471 @default.
- W2962726158 hasRelatedWork W2505952163 @default.
- W2962726158 hasRelatedWork W2517760485 @default.
- W2962726158 hasRelatedWork W2625553213 @default.
- W2962726158 hasRelatedWork W2788624062 @default.
- W2962726158 hasRelatedWork W2794436579 @default.
- W2962726158 hasRelatedWork W2805029593 @default.
- W2962726158 hasRelatedWork W2178940564 @default.
- W2962726158 isParatext "false" @default.
- W2962726158 isRetracted "false" @default.
- W2962726158 magId "2962726158" @default.
- W2962726158 workType "article" @default.