Matches in SemOpenAlex for { <https://semopenalex.org/work/W3101487288> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3101487288 startingPage "4340" @default.
- W3101487288 abstract "In implementing evaluation strategies of the lambda-calculus, bothcorrectness and efficiency of implementation are valid concerns. While thenotion of correctness is determined by the evaluation strategy, regardingefficiency there is a larger design space that can be explored, in particularthe trade-off between space versus time efficiency. Aiming at a unifiedframework that would enable the study of this trade-off, we introduce anabstract machine, inspired by Girard's Geometry of Interaction (GoI), a machinecombining token passing and graph rewriting. We show soundness and completenessof our abstract machine, called the emph{Dynamic GoI Machine} (DGoIM), withrespect to three evaluations: call-by-need, left-to-right call-by-value, andright-to-left call-by-value. Analysing time cost of its execution classifiesthe machine as ``efficient'' in Accattoli's taxonomy of abstract machines." @default.
- W3101487288 created "2020-11-23" @default.
- W3101487288 creator A5072298249 @default.
- W3101487288 creator A5076471067 @default.
- W3101487288 date "2019-10-30" @default.
- W3101487288 modified "2023-09-23" @default.
- W3101487288 title "The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter" @default.
- W3101487288 hasPublicationYear "2019" @default.
- W3101487288 type Work @default.
- W3101487288 sameAs 3101487288 @default.
- W3101487288 citedByCount "2" @default.
- W3101487288 countsByYear W31014872882020 @default.
- W3101487288 countsByYear W31014872882021 @default.
- W3101487288 crossrefType "journal-article" @default.
- W3101487288 hasAuthorship W3101487288A5072298249 @default.
- W3101487288 hasAuthorship W3101487288A5076471067 @default.
- W3101487288 hasConcept C11413529 @default.
- W3101487288 hasConcept C132525143 @default.
- W3101487288 hasConcept C134306372 @default.
- W3101487288 hasConcept C154690210 @default.
- W3101487288 hasConcept C17231256 @default.
- W3101487288 hasConcept C199360897 @default.
- W3101487288 hasConcept C33923547 @default.
- W3101487288 hasConcept C38652104 @default.
- W3101487288 hasConcept C39920170 @default.
- W3101487288 hasConcept C41008148 @default.
- W3101487288 hasConcept C48145219 @default.
- W3101487288 hasConcept C55439883 @default.
- W3101487288 hasConcept C80444323 @default.
- W3101487288 hasConcept C88977235 @default.
- W3101487288 hasConceptScore W3101487288C11413529 @default.
- W3101487288 hasConceptScore W3101487288C132525143 @default.
- W3101487288 hasConceptScore W3101487288C134306372 @default.
- W3101487288 hasConceptScore W3101487288C154690210 @default.
- W3101487288 hasConceptScore W3101487288C17231256 @default.
- W3101487288 hasConceptScore W3101487288C199360897 @default.
- W3101487288 hasConceptScore W3101487288C33923547 @default.
- W3101487288 hasConceptScore W3101487288C38652104 @default.
- W3101487288 hasConceptScore W3101487288C39920170 @default.
- W3101487288 hasConceptScore W3101487288C41008148 @default.
- W3101487288 hasConceptScore W3101487288C48145219 @default.
- W3101487288 hasConceptScore W3101487288C55439883 @default.
- W3101487288 hasConceptScore W3101487288C80444323 @default.
- W3101487288 hasConceptScore W3101487288C88977235 @default.
- W3101487288 hasIssue "4" @default.
- W3101487288 hasLocation W31014872881 @default.
- W3101487288 hasOpenAccess W3101487288 @default.
- W3101487288 hasPrimaryLocation W31014872881 @default.
- W3101487288 hasRelatedWork W1484491715 @default.
- W3101487288 hasRelatedWork W1528810230 @default.
- W3101487288 hasRelatedWork W1532452539 @default.
- W3101487288 hasRelatedWork W1537937665 @default.
- W3101487288 hasRelatedWork W2013130391 @default.
- W3101487288 hasRelatedWork W2081001149 @default.
- W3101487288 hasRelatedWork W2257628339 @default.
- W3101487288 hasRelatedWork W2479043920 @default.
- W3101487288 hasRelatedWork W2526821177 @default.
- W3101487288 hasRelatedWork W2730816057 @default.
- W3101487288 hasRelatedWork W2767370631 @default.
- W3101487288 hasRelatedWork W2788950713 @default.
- W3101487288 hasRelatedWork W2798768430 @default.
- W3101487288 hasRelatedWork W2974531110 @default.
- W3101487288 hasRelatedWork W3016373772 @default.
- W3101487288 hasRelatedWork W3105346556 @default.
- W3101487288 hasRelatedWork W3208916498 @default.
- W3101487288 hasRelatedWork W37965492 @default.
- W3101487288 hasRelatedWork W69160590 @default.
- W3101487288 hasRelatedWork W11680015 @default.
- W3101487288 hasVolume "15" @default.
- W3101487288 isParatext "false" @default.
- W3101487288 isRetracted "false" @default.
- W3101487288 magId "3101487288" @default.
- W3101487288 workType "article" @default.