Inferring Complexity Bounds from Recurrence Relations

D Ishimwe - Proceedings of the 31st ACM Joint European Software …, 2023 - dl.acm.org
Determining program complexity bounds is a fundamental problem with a variety of
applications in software development. In this paper we present a novel approach for …