Generic Hoare logic for order-enriched effects with exceptions

DOI10.1007/978-3-319-72044-9_14MaRDI QIDQ5208509zbMATH OpenOpenAlexFDO

Authors 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
• scientific article; zbMATH DE number 2090722
• Monad-independent Dynamic Logic in HasCasl
• scientific article; zbMATH DE number 1956493
• Algebraic Methodology and Software Technology

Cited in

(10)

• Weakest preconditions in fibrations
• Asynchronous Exceptions as an Effect
• scientific article; zbMATH DE number 1304001 (Why is no real title available?)
• Semantics of value recursion for Monadic Input/Output
• scientific article; zbMATH DE number 1406087 (Why is no real title available?)
• Combining predicate transformer semantics for effects: a case study in parsing regular languages
• Weakest preconditions in fibrations
• A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
• Algebraic Methodology and Software Technology
• Completeness of Global Evaluation Logic

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)