Automating relatively complete verification of higher-order functional programs.

Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi

Browse the full POPL paper archive.