Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Instruction sequence notations with probabilistic instructions   This paper concerns instruction sequences that contain probabilistic
instructions, i.e. instructions that are themselves probabilistic by nature. We
propose several kinds of probabilistic instructions, provide an informal
operational meaning for each of them, and discuss related work. On purpose, we
refrain from providing an ad hoc formal meaning for the proposed kinds of
instructions. We also discuss the approach of projection semantics, which was
introduced in earlier work on instruction sequences, in the light of
probabilistic instruction sequences.

4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
35
The categories of this paper are: mtrl-th
2
The categories of this paper are: math
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas