Hoare Logic in the Abstract

DOI10.1007/11874683_33zbMath1225.03032OpenAlexW1536810838MaRDI QIDQ3613360

Paulo Oliva, Erik A. Mathiesen, Ursula Martin Webb

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_33

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Indexed and fibered structures for partial and total correctness assertions ⋮ Weakest preconditions in fibrations ⋮ A Hoare logic for linear systems ⋮ Graded Hoare logic and its categorical semantics ⋮ Weakest preconditions in fibrations

This page was built for publication: Hoare Logic in the Abstract