An instruction sequence semigroup with involutive anti-automorphisms

MaRDI QIDQ4621136zbMATH OpenFDO

Authors J. A. Bergstra, Alban Ponse

Publication date 8 February 2019

zbMATH Keywords

semigroupprogram semanticsinstruction sequencesanti-automorphism

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semigroups (20M99) Semantics in the theory of computing (68Q55)

Recommendations

• A short introduction to program algebra with instructions for Boolean registers
• Program algebra with a jump-shift instruction
• Program algebra for sequential code
• Program algebra for Turing-machine programs
• On the behaviours produced by instruction sequences under execution

Cited in

(2)

• Fixing Zeno gaps
• scientific article; zbMATH DE number 3922988 (Why is no real title available?)

This page was built for publication: An instruction sequence semigroup with involutive anti-automorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621136)