Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Verification of Object-Oriented Programs: a Transformational Approach   We show that verification of object-oriented programs by means of the
assertional method can be achieved in a simple way by exploiting a
syntax-directed transformation from object-oriented programs to recursive
programs. This transformation suggests natural proofs rules and its correctness
helps us to establish soundness and relative completeness of the proposed proof
system. One of the difficulties is how to properly deal in the assertion
language with the instance variables and aliasing. The discussed programming
language supports arrays, instance variables, failures and recursive methods
with parameters.

21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom