Published in Volume XVII, 2007, pages 19-46

Authors: J. A. Bergstra and C. A. Middelburg

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.

Full Text (PDF)

Bibtex

@article{sacscuza:bergstra2007iswij,
  title={Instruction Sequences with Indirect Jumps},
  author={J. A. Bergstra and C. A. Middelburg},
  journal={Scientific Annals of Computer Science},
  volume={17},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2007},
  pages={19--46},
  publisher={``A.I. Cuza'' University Press}
}