Type-based amortized resource analysis with integers and arrays

DOI10.1007/978-3-319-07151-0_10MaRDI QIDQ5170708zbMATH OpenOpenAlexFDO

Authors Jan Hoffmann, Zhong Shao

Publication date 24 July 2014

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-07151-0_10

zbMATH Keywords

amortized analysisfunctional programmingquantitative analysisresource consumptionstatic analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Type-based amortized resource analysis with integers and arrays
• Multivariate amortized resource analysis
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
• scientific article; zbMATH DE number 7204445
• Towards automatic resource bound analysis for OCaml

Cited in

(24)

• Selectively-amortized resource bounding
• Automated resource analysis with Coq proof objects
• Exponential automatic amortized resource analysis
• Resource usage analysis of logic programs via abstract interpretation using sized types
• A transformational approach to resource analysis with typed-norms
• Amortised resource analysis with separation logic
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
• Efficient Type-Checking for Amortised Heap-Space Analysis
• Decidable linear list constraints
• A transformational approach to resource analysis with typed-norms inference
• scientific article; zbMATH DE number 7204445 (Why is no real title available?)
• Work analysis with resource-aware session types
• Automatic amortised analysis of dynamic memory allocation for lazy functional programs
• Amortised resource analysis and typed polynomial interpretations
• Static determination of quantitative resource usage for higher-order programs
• Multivariate amortised resource analysis for term rewrite systems
• Towards automatic resource bound analysis for OCaml
• Type-based amortized resource analysis with integers and arrays
• Multivariate amortized resource analysis
• Amortised resource analysis for object-oriented programs
• Improvements to a resource analysis for Hume
• Two decades of automatic amortized resource analysis
• Type-based analysis of logarithmic amortised complexity
• Programming Languages and Systems

This page was built for publication: Type-based amortized resource analysis with integers and arrays

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