1 code implementation • 20 Oct 2022 • Ana Carolina Silva, Manuel Barbosa, Mario Florido
This paper presents a proof system for reasoning about execution time bounds for a core imperative programming language.