Indirect Jumps Improve Instruction Sequence Performance

by J.A. Bergstra, C.A. Middelburg
Published 2012-12-01

Axioms for Behavioural Congruence of Single-Pass Instruction Sequences

by J.A. Bergstra, C.A. Middelburg
Published 2017-12-01

Probabilistic Thread Algebra

by J.A. Bergstra, C.A. Middelburg
Published 2015-12-01

A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences

by J.A. Bergstra, C.A. Middelburg
Published 2016-12-01

Instruction Sequences with Indirect Jumps

by J. A. Bergstra, C. A. Middelburg
Published 2007-12-01

Timed Tuplix Calculus and the Wesseling and van den Bergh Equation

by J.A. Bergstra, C.A. Middelburg
Published 2013-12-01

Thread Extraction for Polyadic Instruction Sequences

by J.A. Bergstra, C.A. Middelburg
Published 2011-12-01

Instruction Sequences Expressing Multiplication Algorithms

by J.A. Bergstra, C.A. Middelburg
Published 2018-06-01

Programming an Interpreter Using Molecular Dynamics

by J. A. Bergstra, C. A. Middelburg
Published 2007-12-01

Instruction Sequence Based Non-uniform Complexity Classes

by J.A. Bergstra, C.A. Middelburg
Published 2014-06-01

On Instruction Sets for Boolean Registers in Program Algebra

by J.A. Bergstra, C.A. Middelburg
Published 2016-06-01