A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification.

Armal Guneau, Arthur Charguraud, Franois Pottier

Browse the full ESOP paper archive.