Output details
11 - Computer Science and Informatics
University of St Andrews
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
<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.