Instruction sequences with indirect jumps
arXiv:0711.0829
Abstract
We study sequential programs that are instruction sequences with direct and indirect jump instructions. The intuition is that indirect jump instructions are jump instructions where the position of the instruction to jump to is the content of some memory cell. We consider several kinds of indirect jump instructions. For each kind, we define the meaning of programs with indirect jump instructions of that kind by means of a translation into programs without indirect jump instructions. For each kind, the intended behaviour of a program with indirect jump instructions of that kind under execution is the behaviour of the translated program under execution on interaction with some memory device.
23 pages; typos corrected, phrasing improved, reference replaced
References in corpus (2)
Cited by in corpus (18)
- Thread extraction for polyadic instruction sequences
- Program algebra with a jump-shift instruction
- Instruction sequences and non-uniform complexity theory
- Putting Instruction Sequences into Effect
- On the expressiveness of single-pass instruction sequences
- Tuplix Calculus Specifications of Financial Transfer Networks
- Instruction sequences with dynamically instantiated instructions
- Transmission protocols for instruction streams
- Instruction sequence notations with probabilistic instructions
- Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
- Meadow enriched ACP process algebras
- Programming an interpreter using molecular dynamics
- A process calculus with finitary comprehended terms
- About Instruction Sequence Testing
- Towards a formalization of budgets
- Indirect jumps improve instruction sequence performance
- Instruction sequences for the production of processes
- A protocol for instruction stream processing