Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Antescofo Intermediate Representation   We describe an intermediate language designed as a medium-level internal
representation of programs of the interactive music system Antescofo. This
representation is independent both of the Antescofo source language and of the
architecture of the execution platform. It is used in tasks such as
verification of timings, model-based conformance testing, static control-flow
analysis or simulation. This language is essentially a flat representation of
Antescofo's code, as a finite state machine extended with local and global
variables, with delays and with concurrent threads creation. It features a
small number of simple instructions which are either blocking (wait for
external event, signal or duration) or not (variable assignment, message
emission and control).

2
The categories of this paper are: math
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex