Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230304352> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4230304352 abstract "We materialize the common understanding that calculi with explicit substitutions provide an intermediate step between an abstract specification of substitution in the lambda-calculus and its concrete implementations. To this end, we go back to Curien's original calculus of closures (an early calculus with explicit substitutions), we extend it minimally so that it can also express one-step reduction strategies, and we methodically derive a series of environment machines from the specification of two one-step reduction strategies for the lambda-calculus: normal order and applicative order. The derivation extends Danvy and Nielsen's refocusing-based construction of abstract machines with two new steps: one for coalescing two successive transitions into one, and the other for unfolding a closure into a term and an environment in the resulting abstract machine. The resulting environment machines include both the Krivine machine and the original version of Krivine's machine, Felleisen et al.'s CEK machine, and Leroy's Zinc abstract machine." @default.
- W4230304352 created "2022-05-11" @default.
- W4230304352 creator A5016621051 @default.
- W4230304352 creator A5084400751 @default.
- W4230304352 date "2006-02-12" @default.
- W4230304352 modified "2023-10-01" @default.
- W4230304352 title "A Concrete Framework for Environment Machines" @default.
- W4230304352 doi "https://doi.org/10.7146/brics.v13i3.21909" @default.
- W4230304352 hasPublicationYear "2006" @default.
- W4230304352 type Work @default.
- W4230304352 citedByCount "1" @default.
- W4230304352 crossrefType "journal-article" @default.
- W4230304352 hasAuthorship W4230304352A5016621051 @default.
- W4230304352 hasAuthorship W4230304352A5084400751 @default.
- W4230304352 hasBestOaLocation W42303043521 @default.
- W4230304352 hasConcept C111335779 @default.
- W4230304352 hasConcept C11413529 @default.
- W4230304352 hasConcept C121332964 @default.
- W4230304352 hasConcept C135790938 @default.
- W4230304352 hasConcept C146834321 @default.
- W4230304352 hasConcept C162324750 @default.
- W4230304352 hasConcept C199343813 @default.
- W4230304352 hasConcept C199360897 @default.
- W4230304352 hasConcept C2524010 @default.
- W4230304352 hasConcept C26713055 @default.
- W4230304352 hasConcept C2777686260 @default.
- W4230304352 hasConcept C33923547 @default.
- W4230304352 hasConcept C34447519 @default.
- W4230304352 hasConcept C41008148 @default.
- W4230304352 hasConcept C61797465 @default.
- W4230304352 hasConcept C62520636 @default.
- W4230304352 hasConcept C71924100 @default.
- W4230304352 hasConcept C80444323 @default.
- W4230304352 hasConcept C88977235 @default.
- W4230304352 hasConceptScore W4230304352C111335779 @default.
- W4230304352 hasConceptScore W4230304352C11413529 @default.
- W4230304352 hasConceptScore W4230304352C121332964 @default.
- W4230304352 hasConceptScore W4230304352C135790938 @default.
- W4230304352 hasConceptScore W4230304352C146834321 @default.
- W4230304352 hasConceptScore W4230304352C162324750 @default.
- W4230304352 hasConceptScore W4230304352C199343813 @default.
- W4230304352 hasConceptScore W4230304352C199360897 @default.
- W4230304352 hasConceptScore W4230304352C2524010 @default.
- W4230304352 hasConceptScore W4230304352C26713055 @default.
- W4230304352 hasConceptScore W4230304352C2777686260 @default.
- W4230304352 hasConceptScore W4230304352C33923547 @default.
- W4230304352 hasConceptScore W4230304352C34447519 @default.
- W4230304352 hasConceptScore W4230304352C41008148 @default.
- W4230304352 hasConceptScore W4230304352C61797465 @default.
- W4230304352 hasConceptScore W4230304352C62520636 @default.
- W4230304352 hasConceptScore W4230304352C71924100 @default.
- W4230304352 hasConceptScore W4230304352C80444323 @default.
- W4230304352 hasConceptScore W4230304352C88977235 @default.
- W4230304352 hasIssue "3" @default.
- W4230304352 hasLocation W42303043521 @default.
- W4230304352 hasLocation W42303043522 @default.
- W4230304352 hasOpenAccess W4230304352 @default.
- W4230304352 hasPrimaryLocation W42303043521 @default.
- W4230304352 hasRelatedWork W1504651774 @default.
- W4230304352 hasRelatedWork W1507048481 @default.
- W4230304352 hasRelatedWork W1554764448 @default.
- W4230304352 hasRelatedWork W1565501066 @default.
- W4230304352 hasRelatedWork W1984757784 @default.
- W4230304352 hasRelatedWork W2083338789 @default.
- W4230304352 hasRelatedWork W2090686886 @default.
- W4230304352 hasRelatedWork W2564406933 @default.
- W4230304352 hasRelatedWork W2748872428 @default.
- W4230304352 hasRelatedWork W2808750505 @default.
- W4230304352 hasVolume "13" @default.
- W4230304352 isParatext "false" @default.
- W4230304352 isRetracted "false" @default.
- W4230304352 workType "article" @default.