Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning.

Cormac Flanagan Stephen N. Freund Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning. 16:1-16:29 2024 ECOOP https://doi.org/10.4230/LIPIcs.ECOOP.2024.16 conf/ecoop/2024 db/conf/ecoop/ecoop2024.html#FlanaganF24