Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps. Shape Analysis. In David A. Watt, editor, Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings. Volume 1781 of Lecture Notes in Computer Science, pages 1-17, Springer, 2000. [doi]
Abstract is missing.