14 citations · 20 across the 6 of their papers we have counts for
1 paper · 2 filters
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…