Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Succinct Representations for Abstract Interpretation   Abstract interpretation techniques can be made more precise by distinguishing
paths inside loops, at the expense of possibly exponential complexity.
SMT-solving techniques and sparse representations of paths and sets of paths
avoid this pitfall. We improve previously proposed techniques for guided static
analysis and the generation of disjunctive invariants by combining them with
techniques for succinct representations of paths and symbolic representations
for transitions based on static single assignment. Because of the
non-monotonicity of the results of abstract interpretation with widening
operators, it is difficult to conclude that some abstraction is more precise
than another based on theoretical local precision results. We thus conducted
extensive comparisons between our new techniques and previous ones, on a
variety of open-source packages.

3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn