Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Teaching Programming and Design-by-Contract   This paper summarizes the experience of teaching an introductory course to
programming by using a correctness by construction approach at Innopolis
University, Russian Federation. In this paper we claim that division in
beginner and advanced groups improves the learning outcomes, present the
discussion and the data that support the claim.

27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga