Resource usage analysis (0)

by A Igarashi, N Kobayashi
Venue:ACM Transactions on Programming Languages and Systems