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

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