Towards Cumulative Abstract Semantics via Handlers

Cade Lueker, Andrew Fox, Bor-Yuh Evan Chang

We consider the problem of modularizing control flow in a generic abstract interpretation framework. A generic abstract interpretation framework is not truly flexible if it does no…