The top documents tagged [mutable store]

Peter Sewell - Semantics Notes

---

35 views

Crowfoot: a verifier for higher order store programs Billiejoe (Nathaniel) Charlton Ben Horsfall Bernhard Reus University of Sussex VMCAI 2012.

---

213 views

Hoare logic for higher order store using simple semantics

---

34 views