Finding Resource Bounds in the Presence of Explicit Deallocation.

Hoang Truong, Marc Bezem

Browse the full ICTAC paper archive.