Hoang Truong Marc Bezem Finding Resource Bounds in the Presence of Explicit Deallocation. 227-241 2005 conf/ictac/2005 ICTAC http://dx.doi.org/10.1007/11560647_15 db/conf/ictac/ictac2005.html#TruongB05