Francisco Corbera, Rafael Asenjo, Emilio L. Zapata. Accurate Shape Analysis for Recursive Data Structures. In Samuel P. Midkiff, José E. Moreira, Manish Gupta, Siddhartha Chatterjee, Jeanne Ferrante, Jan Prins, William Pugh, Chau-Wen Tseng, editors, Languages and Compilers for Parallel Computing, 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers. Volume 2017 of Lecture Notes in Computer Science, pages 1-15, Springer, 2000. [doi]
Abstract is missing.