Output details
11 - Computer Science and Informatics
University of St Andrews
Return to search
Output 0 of 0 in the submission
Output title
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Type
E - Conference contribution
Name of conference/published proceedings
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Volume number
5850
Issue number
-
First page of article
354
ISSN of proceedings
0302-9743
Year of publication
2009
URL
-
Number of additional authors
4
Additional information
<10>FM is considered to be the best conference in formal methods; and one of the best in software engineering. The paper has received a significant number of citations.
The main contribution of this paper is to show how identical amortised analysis can be generically applied to arbitrary countable resources. Importantly, in addition to heap and stack usage, the paper considers how to provide hard real-time execution bounds, using timing information derived using abstract interpretation from actual machine instructions. The paper therefore opens the possibility of deploying analysis techniques to new application areas, including hard real-time.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming languages
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
