35 citations · 57 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2009★ 9 cited
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms
Jan A. Bergstra, Alban Ponse
We introduce an algebra of instruction sequences by presenting a semigroup C in which programs can be represented without directional bias: in terms of the next instruction to be e…
cs.PL2008★ 4 cited
Periodic Single-Pass Instruction Sequences
Jan A. Bergstra, Alban Ponse
A program is a finite piece of data that produces a (possibly infinite) sequence of primitive instructions. From scratch we develop a linear notation for sequential, imperative pro…