Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. - Greta Yorsh; Alexey Skidanov; Thomas W. Reps; Shmuel Sagiv (AIOOL@VMCAI, 2005)