A Hoare Logic for the State Monad.

Wouter Swierstra

Published in: TPHOLs (2009)

Keyphrases

state space
modal logic
decision making
data mining
website
three dimensional
search algorithm
probability distribution
computational properties