A general framework for sound and complete Floyd-Hoare logics
From MaRDI portal
Publication:2946594
DOI10.1145/1614431.1614438zbMath1351.03020arXiv0807.1016OpenAlexW2084929300WikidataQ55393275 ScholiaQ55393275MaRDI QIDQ2946594
Paulo Oliva, Erik A. Mathiesen, Rob Arthan, Ursula Martin Webb
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0807.1016
Logic in computer science (03B70) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
A Hoare logic for linear systems, Fifty years of Hoare's logic, Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs