Matches in SemOpenAlex for { <https://semopenalex.org/work/W3165887069> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3165887069 abstract "In many applications one wants to identify identical subtrees of a program syntax tree. This identification should ideally be robust to alpha-renaming of the program, but no existing technique has been shown to achieve this with good efficiency (better than $mathcal{O}(n^2)$ in expression size). We present a new, asymptotically efficient way to hash modulo alpha-equivalence. A key insight of our method is to use a weak (commutative) hash combiner at exactly one point in the construction, which admits an algorithm with $mathcal{O}(n (log n)^2)$ time complexity. We prove that the use of the commutative combiner nevertheless yields a strong hash with low collision probability. Numerical benchmarks attest to the asymptotic behaviour of the method." @default.
- W3165887069 created "2021-06-22" @default.
- W3165887069 creator A5018851970 @default.
- W3165887069 creator A5022880503 @default.
- W3165887069 creator A5027817074 @default.
- W3165887069 creator A5063155882 @default.
- W3165887069 creator A5078172160 @default.
- W3165887069 date "2021-05-06" @default.
- W3165887069 modified "2023-09-27" @default.
- W3165887069 title "Hashing Modulo Alpha-Equivalence." @default.
- W3165887069 cites W1464569014 @default.
- W3165887069 cites W1538526012 @default.
- W3165887069 cites W1546503963 @default.
- W3165887069 cites W2042092487 @default.
- W3165887069 cites W2046024168 @default.
- W3165887069 cites W2067976080 @default.
- W3165887069 cites W2071866471 @default.
- W3165887069 cites W2091657052 @default.
- W3165887069 cites W2121757479 @default.
- W3165887069 cites W2154579312 @default.
- W3165887069 cites W2201091269 @default.
- W3165887069 cites W2293570177 @default.
- W3165887069 cites W2296677810 @default.
- W3165887069 cites W2550100435 @default.
- W3165887069 cites W2739952727 @default.
- W3165887069 cites W2793476006 @default.
- W3165887069 cites W2804660315 @default.
- W3165887069 cites W2896457183 @default.
- W3165887069 cites W2963499994 @default.
- W3165887069 cites W2970971581 @default.
- W3165887069 hasPublicationYear "2021" @default.
- W3165887069 type Work @default.
- W3165887069 sameAs 3165887069 @default.
- W3165887069 citedByCount "0" @default.
- W3165887069 crossrefType "posted-content" @default.
- W3165887069 hasAuthorship W3165887069A5018851970 @default.
- W3165887069 hasAuthorship W3165887069A5022880503 @default.
- W3165887069 hasAuthorship W3165887069A5027817074 @default.
- W3165887069 hasAuthorship W3165887069A5063155882 @default.
- W3165887069 hasAuthorship W3165887069A5078172160 @default.
- W3165887069 hasConcept C11413529 @default.
- W3165887069 hasConcept C114614502 @default.
- W3165887069 hasConcept C118615104 @default.
- W3165887069 hasConcept C183778304 @default.
- W3165887069 hasConcept C199360897 @default.
- W3165887069 hasConcept C2780069185 @default.
- W3165887069 hasConcept C33923547 @default.
- W3165887069 hasConcept C41008148 @default.
- W3165887069 hasConcept C54732982 @default.
- W3165887069 hasConcept C99138194 @default.
- W3165887069 hasConceptScore W3165887069C11413529 @default.
- W3165887069 hasConceptScore W3165887069C114614502 @default.
- W3165887069 hasConceptScore W3165887069C118615104 @default.
- W3165887069 hasConceptScore W3165887069C183778304 @default.
- W3165887069 hasConceptScore W3165887069C199360897 @default.
- W3165887069 hasConceptScore W3165887069C2780069185 @default.
- W3165887069 hasConceptScore W3165887069C33923547 @default.
- W3165887069 hasConceptScore W3165887069C41008148 @default.
- W3165887069 hasConceptScore W3165887069C54732982 @default.
- W3165887069 hasConceptScore W3165887069C99138194 @default.
- W3165887069 hasLocation W31658870691 @default.
- W3165887069 hasOpenAccess W3165887069 @default.
- W3165887069 hasPrimaryLocation W31658870691 @default.
- W3165887069 hasRelatedWork W1477430157 @default.
- W3165887069 hasRelatedWork W1481411695 @default.
- W3165887069 hasRelatedWork W1495653136 @default.
- W3165887069 hasRelatedWork W1514336682 @default.
- W3165887069 hasRelatedWork W1541806040 @default.
- W3165887069 hasRelatedWork W1549228503 @default.
- W3165887069 hasRelatedWork W1558076723 @default.
- W3165887069 hasRelatedWork W1576564521 @default.
- W3165887069 hasRelatedWork W1969884330 @default.
- W3165887069 hasRelatedWork W2003184432 @default.
- W3165887069 hasRelatedWork W2050026004 @default.
- W3165887069 hasRelatedWork W2121818942 @default.
- W3165887069 hasRelatedWork W2174889101 @default.
- W3165887069 hasRelatedWork W2950339187 @default.
- W3165887069 hasRelatedWork W2952748389 @default.
- W3165887069 hasRelatedWork W3028996067 @default.
- W3165887069 hasRelatedWork W3031336287 @default.
- W3165887069 hasRelatedWork W3133549410 @default.
- W3165887069 hasRelatedWork W3171534092 @default.
- W3165887069 hasRelatedWork W53898159 @default.
- W3165887069 isParatext "false" @default.
- W3165887069 isRetracted "false" @default.
- W3165887069 magId "3165887069" @default.
- W3165887069 workType "article" @default.