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