Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980375051> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2980375051 abstract "Traversals are commonly seen in tree data structures, and performance-enhancing transformations between tree traversals are critical for many applications. Existing approaches to reasoning about tree traversals and their transformations are ad hoc, with various limitations on the class of traversals they can handle, the granularity of dependence analysis, and the types of possible transformations. We propose Retreet, a framework in which one can describe general recursive tree traversals, precisely represent iterations, schedules and dependences, and automatically check data-race-freeness and transformation correctness. The crux of the framework is a stack-based representation for iterations and an encoding to Monadic Second-Order (MSO) logic over trees. Experiments show that our framework can reason about traversals with sophisticated mutual recursion on real-world data structures such as CSS and cycletrees." @default.
- W2980375051 created "2019-10-25" @default.
- W2980375051 creator A5001804455 @default.
- W2980375051 creator A5041566154 @default.
- W2980375051 creator A5082859345 @default.
- W2980375051 creator A5091445235 @default.
- W2980375051 date "2019-10-21" @default.
- W2980375051 modified "2023-09-27" @default.
- W2980375051 title "Reasoning About Recursive Tree Traversals" @default.
- W2980375051 cites W1485372940 @default.
- W2980375051 cites W1544123358 @default.
- W2980375051 cites W1818793721 @default.
- W2980375051 cites W1966981171 @default.
- W2980375051 cites W2004419599 @default.
- W2980375051 cites W2008070495 @default.
- W2980375051 cites W2008286410 @default.
- W2980375051 cites W2012140001 @default.
- W2980375051 cites W2013826805 @default.
- W2980375051 cites W2014602103 @default.
- W2980375051 cites W2024952419 @default.
- W2980375051 cites W2040384644 @default.
- W2980375051 cites W2057569957 @default.
- W2980375051 cites W2062745474 @default.
- W2980375051 cites W2066466217 @default.
- W2980375051 cites W2103237321 @default.
- W2980375051 cites W2142761843 @default.
- W2980375051 cites W2167988313 @default.
- W2980375051 cites W2208923056 @default.
- W2980375051 cites W2619614312 @default.
- W2980375051 cites W2761240515 @default.
- W2980375051 cites W2939939350 @default.
- W2980375051 hasPublicationYear "2019" @default.
- W2980375051 type Work @default.
- W2980375051 sameAs 2980375051 @default.
- W2980375051 citedByCount "0" @default.
- W2980375051 crossrefType "posted-content" @default.
- W2980375051 hasAuthorship W2980375051A5001804455 @default.
- W2980375051 hasAuthorship W2980375051A5041566154 @default.
- W2980375051 hasAuthorship W2980375051A5082859345 @default.
- W2980375051 hasAuthorship W2980375051A5091445235 @default.
- W2980375051 hasConcept C113174947 @default.
- W2980375051 hasConcept C114614502 @default.
- W2980375051 hasConcept C140745168 @default.
- W2980375051 hasConcept C162319229 @default.
- W2980375051 hasConcept C163797641 @default.
- W2980375051 hasConcept C168773036 @default.
- W2980375051 hasConcept C17744445 @default.
- W2980375051 hasConcept C199360897 @default.
- W2980375051 hasConcept C199539241 @default.
- W2980375051 hasConcept C2776359362 @default.
- W2980375051 hasConcept C33923547 @default.
- W2980375051 hasConcept C41008148 @default.
- W2980375051 hasConcept C55439883 @default.
- W2980375051 hasConcept C80444323 @default.
- W2980375051 hasConcept C94625758 @default.
- W2980375051 hasConceptScore W2980375051C113174947 @default.
- W2980375051 hasConceptScore W2980375051C114614502 @default.
- W2980375051 hasConceptScore W2980375051C140745168 @default.
- W2980375051 hasConceptScore W2980375051C162319229 @default.
- W2980375051 hasConceptScore W2980375051C163797641 @default.
- W2980375051 hasConceptScore W2980375051C168773036 @default.
- W2980375051 hasConceptScore W2980375051C17744445 @default.
- W2980375051 hasConceptScore W2980375051C199360897 @default.
- W2980375051 hasConceptScore W2980375051C199539241 @default.
- W2980375051 hasConceptScore W2980375051C2776359362 @default.
- W2980375051 hasConceptScore W2980375051C33923547 @default.
- W2980375051 hasConceptScore W2980375051C41008148 @default.
- W2980375051 hasConceptScore W2980375051C55439883 @default.
- W2980375051 hasConceptScore W2980375051C80444323 @default.
- W2980375051 hasConceptScore W2980375051C94625758 @default.
- W2980375051 hasLocation W29803750511 @default.
- W2980375051 hasOpenAccess W2980375051 @default.
- W2980375051 hasPrimaryLocation W29803750511 @default.
- W2980375051 hasRelatedWork W1517205743 @default.
- W2980375051 hasRelatedWork W1551108348 @default.
- W2980375051 hasRelatedWork W1588009749 @default.
- W2980375051 hasRelatedWork W1973583541 @default.
- W2980375051 hasRelatedWork W1983344700 @default.
- W2980375051 hasRelatedWork W1988699971 @default.
- W2980375051 hasRelatedWork W1998912565 @default.
- W2980375051 hasRelatedWork W2038668614 @default.
- W2980375051 hasRelatedWork W2127397152 @default.
- W2980375051 hasRelatedWork W2136032083 @default.
- W2980375051 hasRelatedWork W2136132549 @default.
- W2980375051 hasRelatedWork W2143492550 @default.
- W2980375051 hasRelatedWork W2151129888 @default.
- W2980375051 hasRelatedWork W2346561852 @default.
- W2980375051 hasRelatedWork W2597710487 @default.
- W2980375051 hasRelatedWork W2912166712 @default.
- W2980375051 hasRelatedWork W2964223633 @default.
- W2980375051 hasRelatedWork W2973316748 @default.
- W2980375051 hasRelatedWork W3021965629 @default.
- W2980375051 hasRelatedWork W3132750224 @default.
- W2980375051 isParatext "false" @default.
- W2980375051 isRetracted "false" @default.
- W2980375051 magId "2980375051" @default.
- W2980375051 workType "article" @default.