Selectively-Amortized Resource Bounding.

Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi

Browse the full SAS paper archive.