Output details
11 - Computer Science and Informatics
Heriot-Watt University
Output title
"Carbon Credits" for Resource-bounded Computations using Amortised Analysis
Type
E - Conference contribution
Name of conference/published proceedings
FM09 --- 16th International Symposium on Formal Methods
Volume number
-
Issue number
-
First page of article
354
ISSN of proceedings
-
Year of publication
2009
Number of additional authors
4
Additional information
<07> The formalisation and proof of the novel, amortised-cost-based analysis in this paper form the basis for the
extension and practical implementation in our POPL10 paper (DOI: 10.1145/1707801.1706327). The analysis has been further extended to polynomial bounds by Hoffmann, Aehlig and Hofmann (DOI:10.1145/1926385.1926427; POPL11) and to bounds on stack usage by Campbell (DOI: 10.1007/978-3-642-00590-9_14; ESOP09). FM is a premier conference in theoretical computer science (32% acceptance rate 2009).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Rigorous Systems
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
