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…