13 citations · 25 across the 5 of their papers we have counts for
1 paper · 1 filter
Elvira Albert, Miquel Bofill, Cristina Borralleras +2
When programs feature a complex control flow, existing techniques for resource analysis produce cost relation systems (CRS) whose cost functions retain the complex flow of the prog…