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...
Saved in:
| Main Authors: | , |
|---|---|
| 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 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850263806097227776 |
|---|---|
| author | J. A. Bergstra C. A. Middelburg |
| author_facet | J. A. Bergstra C. A. Middelburg |
| author_sort | J. A. Bergstra |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-b0aec07ab8bf46b5b7610cc570708ac7 |
| institution | OA Journals |
| issn | 1843-8121 2248-2695 |
| language | English |
| publishDate | 2007-12-01 |
| publisher | Alexandru Ioan Cuza University of Iasi |
| record_format | Article |
| series | Scientific Annals of Computer Science |
| spelling | doaj-art-b0aec07ab8bf46b5b7610cc570708ac72025-08-20T01:54:53ZengAlexandru Ioan Cuza University of IasiScientific Annals of Computer Science1843-81212248-26952007-12-01XVII1946Instruction Sequences with Indirect JumpsJ. A. BergstraC. A. MiddelburgWe 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.http://www.info.uaic.ro/bin/download/Annals/XVII/XVII_1.pdf |
| spellingShingle | J. A. Bergstra C. A. Middelburg Instruction Sequences with Indirect Jumps Scientific Annals of Computer Science |
| title | Instruction Sequences with Indirect Jumps |
| title_full | Instruction Sequences with Indirect Jumps |
| title_fullStr | Instruction Sequences with Indirect Jumps |
| title_full_unstemmed | Instruction Sequences with Indirect Jumps |
| title_short | Instruction Sequences with Indirect Jumps |
| title_sort | instruction sequences with indirect jumps |
| url | http://www.info.uaic.ro/bin/download/Annals/XVII/XVII_1.pdf |
| work_keys_str_mv | AT jabergstra instructionsequenceswithindirectjumps AT camiddelburg instructionsequenceswithindirectjumps |