Multivariate amortized resource analysis

DOI10.1145/1926385.1926427MaRDI QIDQ5408556zbMATH OpenOpenAlexFDO

Authors Jan Hoffmann, Klaus Aehlig, Martin Hofmann

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

amortized analysisfunctional programmingquantitative analysisresource consumptionstatic analysis

Mathematics Subject Classification ID

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

Recommendations

• Type-based amortized resource analysis with integers and arrays
• Type-based amortized resource analysis with integers and arrays
• Towards automatic resource bound analysis for OCaml
• Multivariate amortised resource analysis for term rewrite systems
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs

Cited in

(39)

• Combining linear logic and size types for implicit complexity
• Inferring expected runtimes of probabilistic integer programs using expected sizes
• Selectively-amortized resource bounding
• Exponential automatic amortized resource analysis
• Types for complexity of parallel computation in pi-calculus
• 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
• Complexity and resource bound analysis of imperative programs using difference constraints
• Type-based cost analysis for lazy functional languages
• Linear dependent types in a call-by-value scenario
• A combination framework for complexity
• A transformational approach to parametric accumulated-cost static profiling
• Attribute-based signatures for circuits from bilinear map
• Lower runtime bounds for integer programs
• Deciding fast termination for probabilistic VASS with nondeterminism
• A Hoare logic for energy consumption analysis
• Collected size semantics for strict functional programs over general polymorphic lists
• Amortised resource analysis with separation logic
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
• Decidable linear list constraints
• Relational cost analysis in a functional-imperative setting
• Verified Root-Balanced Trees
• Combining linear logic and size types for implicit complexity
• Denotational semantics as a foundation for cost recurrence extraction for functional languages
• scientific article; zbMATH DE number 7204445 (Why is no real title available?)
• Type-based amortized resource analysis with integers and arrays
• Analysis of executable software models
• Multivariate amortised resource analysis for term rewrite systems
• Towards automatic resource bound analysis for OCaml
• Type-based amortized resource analysis with integers and arrays
• Types and Effects for Resource Usage Analysis
• Two decades of automatic amortized resource analysis
• Type-based analysis of logarithmic amortised complexity
• MDPs as distribution transformers: affine invariant synthesis for safety objectives
• Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
• Amortized complexity verified
• Synthesis with asymptotic resource bounds
• ATLAS: automated amortised complexity analysis of self-adjusting data structures

This page was built for publication: Multivariate amortized resource analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408556)