1 paper · 1 filter
Filippo Bonchi, Elena Di Lavore, Mario Román +1
We derive multiple program logics, including correctness, incorrectness, and relational Hoare logic, from the axioms of imperative categories: uniformly traced distributive copy-di…