Tutorial on implementing Hoare logic for imperative programs in Haskell.

Boro Sitnikovski

Published in: CoRR (2021)

Keyphrases

imperative programs
dynamic logic
modal logic
programming language
multi valued
logic programming
reasoning about actions
functional programming
classical logic
asynchronous circuits
video sequences
automated reasoning
logical framework