Instruction sequence notations with probabilistic instructions
| Authors | |
|---|---|
| Publication date | 2009 |
| Number of pages | 13 |
| Publisher | Ithaca, NY: ArXiv |
| Organisations |
|
| Abstract | This paper concerns probabilistic instruction sequences. We 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. 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. |
| Document type | Report |
| Published at | http://arxiv.org/abs/0906.3083 |
| Downloads |
319465.pdf
(Submitted manuscript)
|
| Permalink to this page | |
