Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu. Automatic Annotating and Checking of Dynamic Ownership. In Fernando Castor, Yu David Liu, editors, Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings. Volume 9889 of Lecture Notes in Computer Science, pages 78-94, Springer, 2016. [doi]
Abstract is missing.