Reasoning about recursive tree traversals.

Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu

Browse the full PPoPP paper archive.