Reasoning About Recursive Tree Traversals

Yanjun Wang, Jinwei Liu, Dalin Zhang +1

Traversals are commonly seen in tree data structures, and performance-enhancing transformations between tree traversals are critical for many applications. Existing approaches to r…