Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
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…
cs.PL2022
A Concurrent Program Logic with a Future and History
Roland Meyer, Thomas Wies, Sebastian Wolff
Verifying fine-grained optimistic concurrent programs remains an open problem. Modern program logics provide abstraction mechanisms and compositional reasoning principles to deal w…