Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Resource control of object-oriented programs   A sup-interpretation is a tool which provides an upper bound on the size of a
value computed by some symbol of a program. Sup-interpretations have shown
their interest to deal with the complexity of first order functional programs.
For instance, they allow to characterize all the functions bitwise computable
in Alogtime. This paper is an attempt to adapt the framework of
sup-interpretations to a fragment of oriented-object programs, including
distinct encodings of numbers through the use of constructor symbols, loop and
while constructs and non recursive methods with side effects. We give a
criterion, called brotherly criterion, which ensures that each brotherly
program computes objects whose size is polynomially bounded by the inputs
sizes.

27
The categories of this paper are: comp-gas
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex