Matches in SemOpenAlex for { <https://semopenalex.org/work/W2258682210> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2258682210 abstract "We materialize the common belief 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 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 one for unfolding a closure into a term and an environment in the resulting abstract machine. The resulting environment machines include both the idealized and the original versions of Krivine's machine, Felleisen et al.'s CEK machine, and Leroy's Zinc abstract machine." @default.
- W2258682210 created "2016-06-24" @default.
- W2258682210 creator A5016621051 @default.
- W2258682210 creator A5084400751 @default.
- W2258682210 date "2005-05-11" @default.
- W2258682210 modified "2023-10-14" @default.
- W2258682210 title "A Concrete Framework for Environment Machines" @default.
- W2258682210 doi "https://doi.org/10.7146/brics.v12i15.21881" @default.
- W2258682210 hasPublicationYear "2005" @default.
- W2258682210 type Work @default.
- W2258682210 sameAs 2258682210 @default.
- W2258682210 citedByCount "2" @default.
- W2258682210 crossrefType "journal-article" @default.
- W2258682210 hasAuthorship W2258682210A5016621051 @default.
- W2258682210 hasAuthorship W2258682210A5084400751 @default.
- W2258682210 hasBestOaLocation W22586822101 @default.
- W2258682210 hasConcept C111335779 @default.
- W2258682210 hasConcept C11413529 @default.
- W2258682210 hasConcept C121332964 @default.
- W2258682210 hasConcept C135790938 @default.
- W2258682210 hasConcept C146834321 @default.
- W2258682210 hasConcept C162324750 @default.
- W2258682210 hasConcept C199343813 @default.
- W2258682210 hasConcept C199360897 @default.
- W2258682210 hasConcept C2524010 @default.
- W2258682210 hasConcept C26713055 @default.
- W2258682210 hasConcept C2777686260 @default.
- W2258682210 hasConcept C33923547 @default.
- W2258682210 hasConcept C34447519 @default.
- W2258682210 hasConcept C41008148 @default.
- W2258682210 hasConcept C61797465 @default.
- W2258682210 hasConcept C62520636 @default.
- W2258682210 hasConcept C71924100 @default.
- W2258682210 hasConcept C80444323 @default.
- W2258682210 hasConcept C88977235 @default.
- W2258682210 hasConceptScore W2258682210C111335779 @default.
- W2258682210 hasConceptScore W2258682210C11413529 @default.
- W2258682210 hasConceptScore W2258682210C121332964 @default.
- W2258682210 hasConceptScore W2258682210C135790938 @default.
- W2258682210 hasConceptScore W2258682210C146834321 @default.
- W2258682210 hasConceptScore W2258682210C162324750 @default.
- W2258682210 hasConceptScore W2258682210C199343813 @default.
- W2258682210 hasConceptScore W2258682210C199360897 @default.
- W2258682210 hasConceptScore W2258682210C2524010 @default.
- W2258682210 hasConceptScore W2258682210C26713055 @default.
- W2258682210 hasConceptScore W2258682210C2777686260 @default.
- W2258682210 hasConceptScore W2258682210C33923547 @default.
- W2258682210 hasConceptScore W2258682210C34447519 @default.
- W2258682210 hasConceptScore W2258682210C41008148 @default.
- W2258682210 hasConceptScore W2258682210C61797465 @default.
- W2258682210 hasConceptScore W2258682210C62520636 @default.
- W2258682210 hasConceptScore W2258682210C71924100 @default.
- W2258682210 hasConceptScore W2258682210C80444323 @default.
- W2258682210 hasConceptScore W2258682210C88977235 @default.
- W2258682210 hasIssue "15" @default.
- W2258682210 hasLocation W22586822101 @default.
- W2258682210 hasLocation W22586822102 @default.
- W2258682210 hasOpenAccess W2258682210 @default.
- W2258682210 hasPrimaryLocation W22586822101 @default.
- W2258682210 hasRelatedWork W1504651774 @default.
- W2258682210 hasRelatedWork W1554764448 @default.
- W2258682210 hasRelatedWork W1565501066 @default.
- W2258682210 hasRelatedWork W1984757784 @default.
- W2258682210 hasRelatedWork W2000121592 @default.
- W2258682210 hasRelatedWork W2083338789 @default.
- W2258682210 hasRelatedWork W2090686886 @default.
- W2258682210 hasRelatedWork W2564406933 @default.
- W2258682210 hasRelatedWork W2748872428 @default.
- W2258682210 hasRelatedWork W2808750505 @default.
- W2258682210 hasVolume "12" @default.
- W2258682210 isParatext "false" @default.
- W2258682210 isRetracted "false" @default.
- W2258682210 magId "2258682210" @default.
- W2258682210 workType "article" @default.