Separation logic in the presence of garbage collection (2011)

by C-K Hur, D Dreyer, V Vafeiadis
Venue:In LICS ’11. IEEE Computer Society