Resource analysis aims to derive symbolic resource bounds of programs. Although numerous automatic, manual, static, and data-driven resource analysis techniques have been developed, they each have their own limitations and challenges. To overcome …
There are two approaches to automatically deriving symbolic worst-case resource bounds for programs: static analysis of the source code and data-driven analysis of cost measurements obtained by running the program. Static resource analysis is …