14 citations · 20 across the 6 of their papers we have counts for
Showing cs.LOShow 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.LO2010
Verification of Object-Oriented Programs: a Transformational Approach
Krzysztof R. Apt, Frank S. de Boer, Ernst-Ruediger Olderog +1
We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-…