Verification of Tree-Processing Programs via Higher-Order Model Checking.

Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi

Browse the full APLAS paper archive.