Program algebra with unit instruction operators

In the setting of program algebra (PGA), a projection from PGAu, i.e., PGA extended with a unit instruction operator, into PGA is defined. This is done via a composition that employs backward jumps and (labeled) goto's.

• Type: Journal
• Year: 2002
• Where: JLP
• Authors: Alban Ponse
• Keywords: Algebra, Elsevier Science, JLP 2002, Unit Instruction Operator