Now showing items 1-1 of 1

    • Region-Based Shape Analysis with Tracked Locations 

      Hackett, Brian; Rugina, Radu (Cornell University, 2004-10-29)
      This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations instead of global reasoning about entire heap abstractions. We present an inter-procedural shape analysis ...