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

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

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

(8)

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

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)