Hoare Logic in the Abstract

DOI10.1007/11874683_33zbMATH Open1225.03032OpenAlexW1536810838MaRDI QIDQ3613360FDOQ3613360

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

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

Mathematics Subject Classification ID

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

Cited In (6)

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

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)