Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reachability-based Acyclicity Analysis by Abstract Interpretation   In programming languages with dynamic use of memory, such as Java, knowing
that a reference variable x points to an acyclic data structure is valuable for
the analysis of termination and resource usage (e.g., execution time or memory
consumption). For instance, this information guarantees that the depth of the
data structure to which x points is greater than the depth of the data
structure pointed to by x.f for any field f of x. This, in turn, allows
bounding the number of iterations of a loop which traverses the structure by
its depth, which is essential in order to prove the termination or infer the
resource usage of the loop. The present paper provides an
Abstract-Interpretation-based formalization of a static analysis for inferring
acyclicity, which works on the reduced product of two abstract domains:
reachability, which models the property that the location pointed to by a
variable w can be reached by dereferencing another variable v (in this case, v
is said to reach w); and cyclicity, modeling the property that v can point to a
cyclic data structure. The analysis is proven to be sound and optimal with
respect to the chosen abstraction.

27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph