| 1 |
| Authors | J.A. Bergstra, A. Ponse | | Title | An instruction sequence semigroup with repeaters |
| Publisher | arXiv.org |
| Place | Cornell University, USA |
| Year | 2008 |
| Pages | 12 |
| Faculty | Faculty of Science |
| Institute/dept. | FNWI: Informatics Institute (II) |
| Abstract | In the setting of program algebra (PGA) we consider the repeat instruction. This special instruction was designed to represent infinite sequences of primitive instructions as finite, linear programs. The resulting mathematical structure is a semigroup. We show that a kernel of this syntax can replace PGA as a carrier for program algebra by providing axioms for defining single-pass congruence and structural congruence, and equations for thread extraction. Finally, we discuss the related program notation PGLA that serves as a basis for PGA's tool set. |
| Document type | Report |
| Download paper | |
| Document finder | 
|
Use this url to link to this page: http://dare.uva.nl/en/record/303723
Contact us about this recordNotify a colleague
Add to bookbag
|
