Eran Yahav, Ganesan Ramalingam. Verifying safety properties using separation and heterogeneous abstractions. In William Pugh, Craig Chambers, editors, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. pages 25-34, ACM, 2004. [doi]
Abstract is missing.