Static Determination of Quantitative Resource Usage for Higher-Order Programs

Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann

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