Monad-independent Dynamic Logic in HasCasl
From MaRDI portal
Publication:4823808
DOI10.1093/logcom/14.4.571zbMath1064.03022OpenAlexW1969481252MaRDI QIDQ4823808
Till Mossakowski, Lutz Schröder
Publication date: 28 October 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/14.4.571
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (7)
Kleene Monads: Handling Iteration in a Framework of Generic Effects ⋮ The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ HasCasl: integrated higher-order specification and program development ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ Building Verification Condition Generators by Compositional Extension
Uses Software
This page was built for publication: Monad-independent Dynamic Logic in HasCasl
