Jeremy Condit, George C. Necula. Data Slicing: Separating the Heap into Independent Regions. In Rastislav Bodík, editor, Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Volume 3443 of Lecture Notes in Computer Science, pages 172-187, Springer, 2005.
Abstract is missing.