Gilad Arnold Roman Manevich Mooly Sagiv Ran Shaham Combining Shape Analyses by Intersecting Abstractions. 33-48 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_3 db/conf/vmcai/vmcai2006.html#ArnoldMSS06