Instruction Sequences with Indirect Jumps

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...

Full description

Bibliographic Details
Main Authors: J. A. Bergstra, C. A. Middelburg
Format: Article
Language:English
Published: Alexandru Ioan Cuza University of Iasi 2007-12-01
Series:Scientific Annals of Computer Science
Online Access:http://www.info.uaic.ro/bin/download/Annals/XVII/XVII_1.pdf