Hoare Logic in the Abstract

DOI10.1007/11874683_33MaRDI QIDQ3613360zbMATH OpenOpenAlexFDO

Authors Erik A. Mathiesen, Paulo Oliva, 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

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

Recommendations

• A general framework for sound and complete Floyd-Hoare logics
• Graded Hoare logic and its categorical semantics
• scientific article; zbMATH DE number 1678378
• Indexed and fibered structures for partial and total correctness assertions
• Partial hyperdoctrines: categorical models for partial function logic and Hoare logic

Cited in

(7)

• Graded Hoare logic and its categorical semantics
• A Hoare logic for linear systems
• Hoare semigroups
• A general framework for sound and complete Floyd-Hoare logics
• Weakest preconditions in fibrations
• Weakest preconditions in fibrations
• Indexed and fibered structures for partial and total correctness assertions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613360)