Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Termination of Monotone Programs   We present an efficient approach to prove termination of monotone programs
with integer variables, an expressive class of loops that is often encountered
in computer programs. Our approach is based on a lightweight static analysis
method and takes advantage of simple %nice properties of monotone functions.
Our preliminary implementation %beats shows that our tool has an advantage over
existing tools and can prove termination for a high percentage of loops for a
class of benchmarks.

13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph