25 citations · 637 across the 113 of their papers we have counts for
4 papers · 2 filters
Program algebra with a jump-shift instruction
J. A. Bergstra, C. A. Middelburg
We study sequential programs that are instruction sequences with jump-shift instructions in the setting of PGA (ProGram Algebra). Jump-shift instructions preceding a jump instructi…
Instruction sequences with indirect jumps
J. A. Bergstra, C. A. Middelburg
We study sequential programs that are instruction sequences with direct and indirect jump instructions. The intuition is that indirect jump instructions are jump instructions where…
Instruction sequences with dynamically instantiated instructions
J. A. Bergstra, C. A. Middelburg
We study sequential programs that are instruction sequences with dynamically instantiated instructions. We define the meaning of such programs in two different ways. In either case…
Projection semantics for rigid loops
Jan A. Bergstra, Alban Ponse
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax o…