Noam Rinetzky, Shmuel Sagiv. Interprocedural Shape Analysis for Recursive Programs. In Reinhard Wilhelm, editor, Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Volume 2027 of Lecture Notes in Computer Science, pages 133-149, Springer, 2001. [doi]