Handling Exceptions and Effects with Automatic Resource Analysis

Ethan Chu, Yiyang Guo, Jan Hoffmann

There exist many techniques for automatically deriving parametric resource (or cost) bounds by analyzing the source code of a program. These techniques work effectively for a large…