Static Analysis of Resource Usage Bounds for Imperative Programs.

Liqian Chen, Taoqing Chen, Guangsheng Fan, Banghu Yin

Browse the full APSEC paper archive.