Adam Bakewell, Detlef Plump, Colin Runciman. Checking the Shape Safety of Pointer Manipulations. In Rudolf Berghammer, Bernhard Möller, Georg Struth, editors, Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pape. Volume 3051 of Lecture Notes in Computer Science, pages 48-61, Springer, 2003. [doi]
Abstract is missing.