Exact and Linear-Time Gas-Cost Analysis.

Ankush Das, Shaz Qadeer

Browse the full SAS paper archive.