1 paper
Christopher Curry, Quang Loc Le
Shape analysis is of great importance for the verification of the correctness and memory-safety of heap-manipulating programs, yet such analyses have been shown to be highly diffic…