Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
From MaRDI portal
Publication:3558228
Recommendations
- Type-based amortized resource analysis with integers and arrays
- Type-based amortized resource analysis with integers and arrays
- Multivariate amortized resource analysis
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs
- Amortised resource analysis for object-oriented programs
Cited in
(29)- Combining linear logic and size types for implicit complexity
- Certified abstract cost analysis
- Exponential automatic amortized resource analysis
- Types for complexity of parallel computation in pi-calculus
- Run-time complexity bounds using squeezers
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
- Machine-checked verification of the correctness and amortized complexity of an efficient union-find implementation
- More precise yet widely applicable cost analysis
- Amortised Memory Analysis Using the Depth of Data Structures
- 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?)
- Tight typings and split bounds, fully developed
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs
- Type-based amortized resource analysis with integers and arrays
- 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
- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
- Type-based amortized resource analysis with integers and arrays
- Multivariate amortized resource analysis
- Amortised resource analysis for object-oriented programs
- Two decades of automatic amortized resource analysis
- Type-based analysis of logarithmic amortised complexity
- Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
- Typable fragments of polynomial automatic amortized resource analysis
- Worst-case input generation for concurrent programs under non-monotone resource metrics
- Resource-usage-aware configuration in software product lines
This page was built for publication: Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558228)
