Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Injecting Abstract Interpretations into Linear Cost Models   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 costs. The dioid structure of the set of
costs allows for defining the quantitative semantics as a linear operator. We
then present an abstraction technique inspired from abstract interpretation in
order to effectively compute global cost information from the program.
Abstraction has to take two distinct notions of order into account: the order
on costs and the order on states. We show that our abstraction technique
provides a correct approximation of the concrete cost computations.

25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
19
The categories of this paper are: eess
3
The categories of this paper are: physics
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga