Execution Time Program Verification with Tight Bounds.

Ana Carolina Silva, Manuel Barbosa, Mrio Florido

Browse the full PADL paper archive.