Resource usage analysis (2002)

by A Igarashi, N Kobayashi
Venue:In POPL ’02