Computer Science – Programming Languages
Scientific paper
2007-12-11
Journal of Applied Logic, 6(4):553--563, 2008
Computer Science
Programming Languages
19 pages
Scientific paper
10.1016/j.jal.2008.07.001
We study sequential programs that are instruction sequences with jump-shift instructions in the setting of PGA (ProGram Algebra). Jump-shift instructions preceding a jump instruction increase the position to jump to. The jump-shift instruction is not found in programming practice. Its merit is that the expressive power of PGA extended with the jump-shift instruction, is not reduced if the reach of jump instructions is bounded. This is used to show that there exists a finite-state execution mechanism that by making use of a counter can produce each finite-state thread from some program that is a finite or periodic infinite sequence of instructions from a finite set.
Bergstra Jan Aldert
Middelburg C. A.
No associations
LandOfFree
Program algebra with a jump-shift instruction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Program algebra with a jump-shift instruction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Program algebra with a jump-shift instruction will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-474208