Automatic amortised analysis of dynamic memory allocation for lazy functional programs

DOI10.1145/2364527.2364575MaRDI QIDQ5168911zbMATH OpenOpenAlexFDO

Authors Hugo R. Simões, Pedro Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond

Publication date 21 July 2014

Published in Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

amortisationlazy evaluationresource analysistype systems

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Functional programming and lambda calculus (68N18)

Recommendations

• Type-based cost analysis for lazy functional languages
• Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
• Type-based amortized resource analysis with integers and arrays
• Automatic Space Bound Analysis for Functional Programs with Garbage Collection

Cited in

(9)

• Type-based cost analysis for lazy functional languages
• The role of lazy evaluation in amortized data structures
• Static prediction of heap space usage for first-order functional programs
• Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
• Amortised Memory Analysis Using the Depth of Data Structures
• scientific article; zbMATH DE number 1161584 (Why is no real title available?)
• Automatic Space Bound Analysis for Functional Programs with Garbage Collection
• Contract-based resource verification for higher-order functions with memoization
• Two decades of automatic amortized resource analysis

This page was built for publication: Automatic amortised analysis of dynamic memory allocation for lazy functional programs

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