Componentized heap abstraction (2006)

by N Rinetzky, G Ramalingam, M Sagiv, E Yahav