Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs.

Yuma Matsumoto, Naoki Kobayashi, Hiroshi Unno

Browse the full APLAS paper archive.