A Path Sensitive Type System for Resource Usage Verification of C Like Languages.

Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han

Browse the full APLAS paper archive.