research
∙
08/05/2022
Recurrence extraction and denotational semantics with recursive definitions
With one exception, our previous work on recurrence extraction and denot...
share
research
∙
05/20/2022
General Ramified Recurrence and Polynomial-time Completeness
We exhibit a sound and complete implicit-complexity formalism for functi...
research
∙
06/26/2020
Denotational recurrence extraction for amortized analysis
A typical way of analyzing the time complexity of functional programs is...
research
∙
02/17/2020
Denotational semantics as a foundation for cost recurrence extraction for functional languages
A standard method for analyzing the asymptotic complexity of a program i...
research
∙
11/11/2019