Bor-Yuh Evan Chang, Xavier Rival, George C. Necula. Shape Analysis with Structural Invariant Checkers. In Hanne Riis Nielson, Gilberto Filé, editors, Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Volume 4634 of Lecture Notes in Computer Science, pages 384-401, Springer, 2007. [doi]
Abstract is missing.