Instruction sequence notations with probabilistic instructions
Programming Languages
2014-10-02 v2
Abstract
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.
Cite
@article{arxiv.0906.3083,
title = {Instruction sequence notations with probabilistic instructions},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:0906.3083},
year = {2014}
}
Comments
15 pages, revised because arxiv:1409.6873v1 [cs.LO] has come out