From Hoare Logic to Matching Logic Reachability Grigore Rosu and Andrei Stefanescu University of Illinois, USA.
Checking Reachability using Matching Logic
From Hoare Logic to Matching Logic Reachability
Towards a Unified Theory of Operational and Axiomatic Semantics