Automatic amortised analysis of dynamic memory allocation for lazy functional programs

DOI10.1145/2364527.2364575zbMath1291.68027OpenAlexW2090759054MaRDI QIDQ5168911

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

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

lazy evaluationtype systemsresource analysisamortisation

Mathematics Subject Classification ID

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

Related Items (2)

Type-based cost analysis for lazy functional languages ⋮ Two decades of automatic amortized resource analysis

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