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

Hyun-Goo Kang Youil Kim Taisook Han Hwansoo Han

Published in: APLAS (2005)

Keyphrases

resource usage
resource management
resource allocation
shortest path
real time
resource consumption
linear programming