Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis. Separation Logic in the Presence of Garbage Collection. In Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. pages 247-256, IEEE Computer Society, 2011. [doi]
Abstract is missing.