14 citations · 20 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
Dynamic Separation Logic
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
This paper introduces a dynamic logic extension of separation logic. The assertion language of separation logic is extended with modalities for the five types of the basic instruct…
cs.PL2023
Proving Correctness of Parallel Implementations of Transition System Specifications
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun +1
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. W…