1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2017
An -Algebra for Real-Time Energy Problems
David Cachera, Uli Fahrenberg, Axel Legay
We develop a -continuous Kleene -algebra of real-time energy functions. Together with corresponding automata, these can be used to model systems which can consume and regain…
cs.LO2010★ 1 cited
Injecting Abstract Interpretations into Linear Cost Models
David Cachera, Arnaud Jobin
We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with cost…