Generic Hoare Logic for Order-Enriched Effects with Exceptions

DOI10.1007/978-3-319-72044-9_14zbMath1496.68117MaRDI QIDQ5208509

Lutz Schröder, Christoph Rauch, Sergei 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

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)