Make flows small again: revisiting the flow framework

Roland Meyer, Thomas Wies, Sebastian Wolff

We present a new flow framework for separation logic reasoning about programs that manipulate general graphs. The framework overcomes problems in earlier developments: it is based…