Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Incremental and Modular Context-sensitive Analysis   Context-sensitive global analysis of large code bases can be expensive, which
can make its use impractical during software development. However, there are
many situations in which modifications are small and isolated within a few
components, and it is desirable to reuse as much as possible previous analysis
results. This has been achieved to date through incremental global analysis
fixpoint algorithms that achieve cost reductions at fine levels of granularity,
such as changes in program lines. However, these fine-grained techniques are
not directly applicable to modular programs, nor are they designed to take
advantage of modular structures. This paper describes, implements, and
evaluates an algorithm that performs efficient context-sensitive analysis
incrementally on modular partitions of programs. The experimental results show
that the proposed modular algorithm shows significant improvements, in both
time and memory consumption, when compared to existing non-modular, fine-grain
incremental analysis techniques. Furthermore, thanks to the proposed
inter-modular propagation of analysis information, our algorithm also
outperforms traditional modular analysis even when analyzing from scratch.

20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas