Sciweavers

CC
2005
Springer
120views System Software» more  CC 2005»
14 years 5 months ago
Data Slicing: Separating the Heap into Independent Regions
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
Jeremy Condit, George C. Necula