Multivariate Amortised Resource Analysis for Term Rewrite Systems

Hofmann, Martin; Moser, Georg

doi:10.4230/LIPIcs.TLCA.2015.241

Document

Multivariate Amortised Resource Analysis for Term Rewrite Systems

Authors Martin Hofmann, Georg Moser

Part of: Volume: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Typed Lambda Calculi and Applications (TLCA)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2015-06-15

PDF

File

PDF

LIPIcs.TLCA.2015.241.pdf

Filesize: 0.54 MB
16 pages

Document Identifiers

DOI: 10.4230/LIPIcs.TLCA.2015.241
URN: urn:nbn:de:0030-drops-51675

Subject Classification

Keywords

program analysis,amortised analysis
term rewriting,multivariate bounds

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

We study amortised resource analysis in the context of term rewrite systems. We introduce a novel amortised analysis based on the potential method. The method is represented in an inference system akin to a type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed rewrite system. The crucial feature of the inference system is the admittance of multivariate bounds in the context of arbitrary data structures in a completely uniform way. This extends our earlier univariate resource analysis of typed term rewrite systems and continues our program of applying automated amortised resource analysis to rewriting.

Cite As Get BibTex

Martin Hofmann and Georg Moser. Multivariate Amortised Resource Analysis for Term Rewrite Systems. In 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 38, pp. 241-256, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015) https://doi.org/10.4230/LIPIcs.TLCA.2015.241

Author Details

Martin Hofmann

Georg Moser

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail