Multivariate amortized resource analysis

DOI10.1145/1926385.1926427zbMath1284.68132OpenAlexW4242321992MaRDI QIDQ5408556

Martin Hofmann, Klaus Aehlig, Jan Hoffmann

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926427

zbMATH Keywords

resource consumptionstatic analysisfunctional programmingquantitative analysisamortized analysis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Functional programming and lambda calculus (68N18)

Related Items (29)

A combination framework for complexity ⋮ Synthesis with asymptotic resource bounds ⋮ ATLAS: automated amortised complexity analysis of self-adjusting data structures ⋮ Verified Root-Balanced Trees ⋮ Selectively-amortized resource bounding ⋮ A Hoare Logic for Energy Consumption Analysis ⋮ Complexity and resource bound analysis of imperative programs using difference constraints ⋮ Type-based cost analysis for lazy functional languages ⋮ Denotational semantics as a foundation for cost recurrence extraction for functional languages ⋮ Type-based amortized resource analysis with integers and arrays ⋮ Linear dependent types in a call-by-value scenario ⋮ Deciding Fast Termination for Probabilistic VASS with Nondeterminism ⋮ Types for complexity of parallel computation in pi-calculus ⋮ Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits ⋮ Amortized complexity verified ⋮ Combining linear logic and size types for implicit complexity ⋮ Analysis of Executable Software Models ⋮ Unnamed Item ⋮ A Transformational Approach to Parametric Accumulated-Cost Static Profiling ⋮ Attribute-Based Signatures for Circuits from Bilinear Map ⋮ Inferring expected runtimes of probabilistic integer programs using expected sizes ⋮ Unnamed Item ⋮ Lower Runtime Bounds for Integer Programs ⋮ Estimating costs of multi-component enterprise applications ⋮ On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy ⋮ A multi-domain incremental analysis engine and its application to incremental resource analysis ⋮ Relational cost analysis in a functional-imperative setting ⋮ Two decades of automatic amortized resource analysis ⋮ Type-based analysis of logarithmic amortised complexity

This page was built for publication: Multivariate amortized resource analysis