Automated amortised resource analysis for term rewrite systems

DOI10.1007/978-3-319-90686-7_14OpenAlexW2800604894MaRDI QIDQ1648888

Georg Moser, Manuel Schneckenreither

Publication date: 9 July 2018

Full work available at URL: https://arxiv.org/abs/1811.09071

zbMATH Keywords

typesanalysis of algorithmsterm rewritingautomationamortised complexity

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

ATLAS: automated amortised complexity analysis of self-adjusting data structures ⋮ Analysing parallel complexity of term rewriting ⋮ Type-based analysis of logarithmic amortised complexity

This page was built for publication: Automated amortised resource analysis for term rewrite systems