Sciweavers

JLP
2002

Program algebra with unit instruction operators

13 years 4 months ago
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.
Alban Ponse
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JLP
Authors Alban Ponse
Comments (0)