Resource usage analysis. (2002)

by Atsushi Igarashi, Naoki Kobayashi
Venue:In Proc. of POPL ’02, the 29th ACM Symposium on Principles of Programming Languages,