Resource usage analysis.

Atsushi Igarashi, Naoki Kobayashi

Browse the full POPL paper archive.