Hume Cost Analyses for Imperative Programs (2009)
Attributed to:
Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.macs.hw.ac.uk/~greg/publications/gmhljh.setp09.pdf
Type: Conference/Paper/Proceeding/Abstract