A Structural Proof of the Soundness of Rely/guarantee Rules

Abstract

Journal Article A Structural Proof of the Soundness of Rely/guarantee Rules Get access Joey W. Coleman, Joey W. Coleman School of Computing Science, Newcastle University, NE1 7RU, UK. E-mail: j.w.coleman, [e-mail] Search for other works by this author on: Oxford Academic Google Scholar Cliff B. Jones Cliff B. Jones School of Computing Science, Newcastle University, NE1 7RU, UK. E-mail: j.w.coleman, [e-mail] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 17, Issue 4, August 2007, Pages 807–841, https://doi.org/10.1093/logcom/exm030 Published: 06 August 2007