Steering fragments of instruction sequences
| Authors | |
|---|---|
| Publication date | 2010 |
| Number of pages | 19 |
| Publisher | Ithaca, NY: ArXiv |
| Organisations |
|
| Abstract | A steering fragment of an instruction sequence consists of a sequence of steering instructions. These are decision points involving the check of a propositional statement in sequential logic. The question is addressed why composed propositional statements occur in steering fragments given the fact that a straightforward transformation allows their elimination. A survey is provided of constraints that may be implicitly assumed when composed propositional statements occur in a meaningful instruction sequence. |
| Document type | Report |
| Language | English |
| Published at | http://arxiv.org/abs/1010.2850 |
| Downloads |
328267.pdf
(Submitted manuscript)
|
| Permalink to this page | |
