An instruction sequence semigroup with involutive anti-automorphisms

zbMATH Open1424.68037MaRDI QIDQ4621136FDOQ4621136

Authors: J. A. Bergstra, Alban Ponse 

Publication date: 8 February 2019

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

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)

Cited In (2)

• Fixing Zeno gaps
• Title not available (Why is that?)

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)