Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs

Hugo Miguel Simoes
, Pedro Baltazar Vasconcelos
, Mario Florido
, Steffen Jost
, Kevin Hammond

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished
EP/F030657/1 Adaptive Hardware Systems: Copy of Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
Hammond, K. (PI)
EPSRC
1/09/08 → 31/08/11
Project: Standard