Abstract
On the basis of the program notation PGLD of program
algebra, a program notation PGLDg (PGLD with goto's) is proposed
with indirect absolute jumps. An indirect absolute jump, also called a
goto instruction, instructs the agent executing a program to move to
an occurrence of a label catch instruction. The semantics of PGLDg
is determined
... read more