Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Experiment with a User Manual of a Programming Language Based on a
  Denotational Semantics   Denotational models should provide an opportunity for the revision of current
practices seen in the manuals of programming languages. New styles should on
one hand base on denotational models but on the other - do not assume that
today readers are acquainted in this field. A manual should, therefore, provide
some basic knowledge and notation needed to understand the definition of a
programming language written in a new style. At the same time - I strongly
believe that - it should be written for professional programmers rather than
for amateurs. The role of a manual is not to teach the skills of programming.
Such textbooks are, of course, necessary, but they should tell the readers what
the programming is about rather than the technicalities of a concrete language.
The paper contains an example of a manual for a virtual programming language
Lingua developed in our project.

36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
19
The categories of this paper are: eess
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ