Generic Weakest Precondition Semantics from Monads Enriched with Order

DOI10.1007/978-3-662-44124-4_2zbMath1331.68051OpenAlexW2177831262MaRDI QIDQ2942773

Ichiro Hasuo

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01408750/file/328263_1_En_2_Chapter.pdf

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

This page was built for publication: Generic Weakest Precondition Semantics from Monads Enriched with Order