Date Added: Jun 2009
This paper concerns probabilistic instruction sequences. The authors use the term probabilistic instruction sequence for an instruction sequence that contains probabilistic instructions, i.e. instructions that are themselves probabilistic by nature, rather than an instruction sequence of which the instructions are intended to be processed in a probabilistic way. They propose several kinds of probabilistic instructions, provide an informal operational meaning for each of them, and discuss related work. On purpose, they refrain from providing an ad hoc formal meaning for the proposed kinds of instructions.