Based on earlier work on amortised resource analysis, we establish a novel automated amortised resource analysis for term rewrite systems. The method is presented in an inference system akin to a type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed term rewrite system. Our analysis does not restrict the input rewrite system in any way. This facilitates integration in a general framework for resource analysis of programs. In particular, we have implemented the method and integrated it into our tool.
CITATION STYLE
Moser, G., & Schneckenreither, M. (2018). Automated amortised resource analysis for term rewrite systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10818 LNCS, pp. 214–229). Springer Verlag. https://doi.org/10.1007/978-3-319-90686-7_14
Mendeley helps you to discover research relevant for your work.