Static Determination of Quantitative Resource Usage for Higher-Order Programs (2010)
Attributed to:
Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Journal Article/Review
Volume: 45
Parent Publication: ACM SIGPLAN NOTICES
Issue: 1
ISSN: 0362-1340