Temporal verification of higher-order functional programs.

Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Browse the full POPL paper archive.