Automatic amortised analysis of dynamic memory allocation for lazy functional programs

Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond. Automatic amortised analysis of dynamic memory allocation for lazy functional programs. In Peter Thiemann, Robby Bruce Findler, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. pages 165-176, ACM, 2012. [doi]

Abstract

Abstract is missing.