Lucas Silver
YOU?
Author Swipe
Dijkstra monads forever: termination-sensitive specifications for interaction trees Open
This paper extends the Dijkstra monad framework, designed for writing specifications over effectful programs using monadic effects, to handle termination sensitive specifications over interactive programs. We achieve this by introducing ba…
Dijkstra Monads Forever Open
This paper extends the Dijkstra monad framework, designed for writing specifications over effectful programs using monadic effects, to handle termination sensitive specifications over interactive programs. We achieve this by introducing ba…