Browsing School of Electronic Engineering and Computer Science by Subject "F.3.1"
Now showing items 1-1 of 1
-
Trace Properties from Separation Logic Specifications
We propose a formal approach for relating abstract separation logic library specifications with the trace properties they enforce on interactions between a client and a library. Separation logic with abstract predicates ...