Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288282929> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4288282929 abstract "The $lambda$-calculus is a handy formalism to specify the evaluation of higher-order programs. It is not very handy, however, when one interprets the specification as an execution mechanism, because terms can grow exponentially with the number of $beta$-steps. This is why implementations of functional languages and proof assistants always rely on some form of sharing of subterms. These frameworks however do not only evaluate $lambda$-terms, they also have to compare them for equality. In presence of sharing, one is actually interested in the equality---or more precisely $alpha$-conversion---of the underlying unshared $lambda$-terms. The literature contains algorithms for such a sharing equality, that are polynomial in the sizes of the shared terms. This paper improves the bounds in the literature by presenting the first linear time algorithm. As others before us, we are inspired by Paterson and Wegman's algorithm for first-order unification, itself based on representing terms with sharing as DAGs, and sharing equality as bisimulation of DAGs." @default.
- W4288282929 created "2022-07-28" @default.
- W4288282929 creator A5046873607 @default.
- W4288282929 creator A5081097346 @default.
- W4288282929 creator A5087998017 @default.
- W4288282929 date "2019-07-13" @default.
- W4288282929 modified "2023-09-24" @default.
- W4288282929 title "Sharing Equality is Linear" @default.
- W4288282929 doi "https://doi.org/10.48550/arxiv.1907.06101" @default.
- W4288282929 hasPublicationYear "2019" @default.
- W4288282929 type Work @default.
- W4288282929 citedByCount "0" @default.
- W4288282929 crossrefType "posted-content" @default.
- W4288282929 hasAuthorship W4288282929A5046873607 @default.
- W4288282929 hasAuthorship W4288282929A5081097346 @default.
- W4288282929 hasAuthorship W4288282929A5087998017 @default.
- W4288282929 hasBestOaLocation W42882829291 @default.
- W4288282929 hasConcept C10138342 @default.
- W4288282929 hasConcept C11413529 @default.
- W4288282929 hasConcept C118615104 @default.
- W4288282929 hasConcept C120665830 @default.
- W4288282929 hasConcept C121332964 @default.
- W4288282929 hasConcept C135315306 @default.
- W4288282929 hasConcept C135790938 @default.
- W4288282929 hasConcept C136119220 @default.
- W4288282929 hasConcept C142362112 @default.
- W4288282929 hasConcept C153349607 @default.
- W4288282929 hasConcept C162324750 @default.
- W4288282929 hasConcept C182306322 @default.
- W4288282929 hasConcept C199360897 @default.
- W4288282929 hasConcept C202444582 @default.
- W4288282929 hasConcept C26713055 @default.
- W4288282929 hasConcept C2778113609 @default.
- W4288282929 hasConcept C33923547 @default.
- W4288282929 hasConcept C41008148 @default.
- W4288282929 hasConcept C558565934 @default.
- W4288282929 hasConcept C73301696 @default.
- W4288282929 hasConcept C80444323 @default.
- W4288282929 hasConcept C96146094 @default.
- W4288282929 hasConceptScore W4288282929C10138342 @default.
- W4288282929 hasConceptScore W4288282929C11413529 @default.
- W4288282929 hasConceptScore W4288282929C118615104 @default.
- W4288282929 hasConceptScore W4288282929C120665830 @default.
- W4288282929 hasConceptScore W4288282929C121332964 @default.
- W4288282929 hasConceptScore W4288282929C135315306 @default.
- W4288282929 hasConceptScore W4288282929C135790938 @default.
- W4288282929 hasConceptScore W4288282929C136119220 @default.
- W4288282929 hasConceptScore W4288282929C142362112 @default.
- W4288282929 hasConceptScore W4288282929C153349607 @default.
- W4288282929 hasConceptScore W4288282929C162324750 @default.
- W4288282929 hasConceptScore W4288282929C182306322 @default.
- W4288282929 hasConceptScore W4288282929C199360897 @default.
- W4288282929 hasConceptScore W4288282929C202444582 @default.
- W4288282929 hasConceptScore W4288282929C26713055 @default.
- W4288282929 hasConceptScore W4288282929C2778113609 @default.
- W4288282929 hasConceptScore W4288282929C33923547 @default.
- W4288282929 hasConceptScore W4288282929C41008148 @default.
- W4288282929 hasConceptScore W4288282929C558565934 @default.
- W4288282929 hasConceptScore W4288282929C73301696 @default.
- W4288282929 hasConceptScore W4288282929C80444323 @default.
- W4288282929 hasConceptScore W4288282929C96146094 @default.
- W4288282929 hasLocation W42882829291 @default.
- W4288282929 hasLocation W42882829292 @default.
- W4288282929 hasLocation W42882829293 @default.
- W4288282929 hasOpenAccess W4288282929 @default.
- W4288282929 hasPrimaryLocation W42882829291 @default.
- W4288282929 hasRelatedWork W1504651774 @default.
- W4288282929 hasRelatedWork W1521275321 @default.
- W4288282929 hasRelatedWork W1554764448 @default.
- W4288282929 hasRelatedWork W1565501066 @default.
- W4288282929 hasRelatedWork W1984757784 @default.
- W4288282929 hasRelatedWork W2007757832 @default.
- W4288282929 hasRelatedWork W2083338789 @default.
- W4288282929 hasRelatedWork W2090686886 @default.
- W4288282929 hasRelatedWork W2748872428 @default.
- W4288282929 hasRelatedWork W2808750505 @default.
- W4288282929 isParatext "false" @default.
- W4288282929 isRetracted "false" @default.
- W4288282929 workType "article" @default.