Generic Hoare Logic for Order-Enriched Effects with Exceptions

DOI10.1007/978-3-319-72044-9_14zbMATH Open1496.68117OpenAlexW2771561452MaRDI QIDQ5208509

Christoph Rauch, Lutz Schröder, S. S. Goncharov

Publication date: 16 January 2020

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01767479/file/433330_1_En_14_Chapter.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Weakest preconditions in fibrations ⋮ Weakest preconditions in fibrations ⋮ A Relatively Complete Generic Hoare Logic for Order-Enriched Effects

This page was built for publication: Generic Hoare Logic for Order-Enriched Effects with Exceptions

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