Publication | Closed Access

Generic weakest precondition semantics from monads enriched with order

EngineeringAutomated ReasoningFormal MethodsWell-founded SemanticsComputer ScienceHigher-order LogicFunctional Programming Language