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

Filter

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