Open AccessAutomatic amortised analysis of dynamic memory allocation for lazy functional programs
Author(s) -
Hugo Simões,
Pedro Vasconcelos,
Mário Florido,
Steffen Jost,
Kevin Hammond
Publication year - 2012
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/2398856.2364575
Subject(s) - computer science , lazy evaluation , soundness , functional programming , heap (data structure) , programming language , static analysis , operational semantics , semantics (computer science) , theoretical computer science
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom