Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages   Programmers using software components have to follow protocols that specify
when it is legal to call particular methods with particular arguments. For
example, one cannot use an iterator over a set once the set has been changed
directly or through another iterator. We formalize the notion of dynamic
package interfaces (DPI), which generalize state-machine interfaces for single
objects, and give an algorithm to statically compute a sound abstraction of a
DPI. States of a DPI represent (unbounded) sets of heap configurations and
edges represent the effects of method calls on the heap. We introduce a novel
heap abstract domain based on depth-bounded systems to deal with potentially
unboundedly many objects and the references among them. We have implemented our
algorithm and show that it is effective in computing representations of common
patterns of package usage, such as relationships between viewer and label,
container and iterator, and JDBC statements and cursors.

4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin