Program algebra with a jump-shift instruction

Details Program algebra with a jump-shift instruction Program algebra with a jump-shift instruction

2007-12-11

arxiv.org/abs/0712.1658v1

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.

Affiliated with

Also associated with

No associations

Rating

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.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-474208