Hume Cost Analyses for Imperative Programs (2009)

First Author: Kevin Hammond (Author)
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