Resource usage analysis (2002)

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