Staged Specification Logic for Verifying Higher-Order Imperative Programs.

Darius Foo, Yahui Song, Wei-Ngan Chin

Browse the full FM paper archive.