Two decades of automatic amortized resource analysis
Sign Up to like & getrecommendations! Published in 2022 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129521000487
Abstract: Abstract This article gives an overview of automatic amortized resource analysis (AARA), a technique for inferring symbolic resource bounds for programs at compile time. AARA has been introduced by Hofmann and Jost in 2003 as… read more here.
Keywords: two decades; amortized resource; analysis; resource analysis ... See more keywords
Resource Analysis driven by (Conditional) Termination Proofs
Sign Up to like & getrecommendations! Published in 2019 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068419000152
Abstract: Abstract 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 program and, consequently, might not be solvable into… read more here.
Keywords: resource analysis; crs; termination; analysis driven ... See more keywords