25 citations · 46 across the 4 of their papers we have counts for
4 papers
Instruction sequences for the production of processes
J. A. Bergstra, C. A. Middelburg
Single-pass instruction sequences under execution are considered to produce behaviours to be controlled by some execution environment. Threads as considered in thread algebra model…
Programming an interpreter using molecular dynamics
J. A. Bergstra, C. A. Middelburg
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation devel…
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…