Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Program algebra for random access machine programs   This paper presents an algebraic theory of instruction sequences with
instructions for a random access machine (RAM) as basic instructions, the
behaviours produced by the instruction sequences concerned under execution, and
the interaction between such behaviours and RAM memories. This theory provides
a setting for the development of theory in areas such as computational
complexity and analysis of algorithms that distinguishes itself by offering the
possibility of equational reasoning to establish whether an instruction
sequence computes a given function and being more general than the setting
provided by any known version of the RAM model of computation. In this setting,
a semi-realistic version of the RAM model of computation and a bit-oriented
time complexity measure for this version are introduced. Under the time measure
concerned, semi-realistic RAMs can be simulated by multi-tape Turing machines
with quadratic time overhead.

31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
5
The categories of this paper are: gr-qc