Instruction sequences with indirect jumps

Simple item page
dc.creatorBergstra, J. A.
dc.creatorMiddelburg, C. A.
dc.date2007-11-06
dc.date2007-12-11
dc.date.accessioned2026-07-07T09:30:37Z
dc.date.available2026-07-07T09:30:37Z
dc.descriptionWe 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.
dc.description23 pages; typos corrected, phrasing improved, reference replaced
dc.identifierhttps://arxiv.org/abs/0711.0829
dc.identifierhttp://arxiv.org/abs/0711.0829
dc.identifierScientific Annals of Computer Science, 17:19--46, 2007. http://www.infoiasi.ro/bin/download/Annals/XVII/XVII_1.pdf
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/158175
dc.subjectProgramming Languages
dc.subjectD.3.1; D.3.3; F.1.1; F.3.2; F.3.3
dc.titleInstruction sequences with indirect jumps
dc.typetext

Files

Collections

arXiv