Foundational Verification of Running-Time Bounds for Interactive Programs.

Andy Tockman, Pratap Singh, Andres Erbsen, Samuel Gruetter, Adam Chlipala

Browse the full CPP paper archive.