23 citations · 74 across the 18 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017★ 1 cited
Automating Sized Type Inference for Complexity Analysis (Technical Report)
Martin Avanzini, Ugo Dal Lago
This paper introduces a new methodology for the complexity analysis of higher-order functional programs, which is based on three ingredients: a powerful type system for size analys…
cs.LO2017
GUBS Upper Bound Solver (Extended Abstract)
Martin Avanzini, Michael Schaper
In this extended abstract we present the GUBS Upper Bound Solver. GUBS is a dedicated constraint solver over the naturals for inequalities formed over uninterpreted function symbol…
cs.LO2017
Automated Sized-Type Inference and Complexity Analysis
Martin Avanzini, Ugo Dal Lago
This paper introduces a new methodology for the complexity analysis of higher-order functional programs, which is based on three components: a powerful type system for size analysi…