Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Automatic Coding Rule Conformance Checking Using Logic Programs   Some approaches to increasing program reliability involve a disciplined use
of programming languages so as to minimise the hazards introduced by
error-prone features. This is realised by writing code that is constrained to a
subset of the a priori admissible programs, and that, moreover, may use only a
subset of the language. These subsets are determined by a collection of
so-called coding rules.

20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess