Static determination of quantitative resource usage for higher-order programs.

Steffen Jost Kevin Hammond Hans-Wolfgang Loidl Martin Hofmann

Published in: POPL (2010)

Keyphrases

resource usage
higher order
resource management
resource allocation
resource consumption
real time
resource utilization
response time