110
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...