About Hoare Logics for Higher-Order Store.

Bernhard Reus, Thomas Streicher

Browse the full ICALP paper archive.