Multivariate Amortised Resource Analysis for Term Rewrite Systems

DOI10.4230/LIPIcs.TLCA.2015.241zbMath1367.68138OpenAlexW2322420242MaRDI QIDQ5277843

Martin Hofmann, Georg Moser

Publication date: 12 July 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/5167/pdf/22.pdf/

zbMATH Keywords

program analysisterm rewritingamortised analysismultivariate bounds

Mathematics Subject Classification ID

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 ⋮ Unnamed Item ⋮ Type-based analysis of logarithmic amortised complexity

This page was built for publication: Multivariate Amortised Resource Analysis for Term Rewrite Systems