Straight-line instruction sequence completeness for total calculation on cancellation meadows

DOI10.1007/S00224-010-9272-9MaRDI QIDQ538468zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, Inge Bethke

Publication date 25 May 2011

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-010-9272-9

zbMATH Keywords

fieldsprogram algebrastraight-line programsinstruction sequencescalculation in meadowsdivision-by-zeroequational specificationexecution of programsmeadows

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• The initial meadows
• scientific article; zbMATH DE number 3914308
• The structure of finite meadows
• Meadows and the equational specification of division
• Subvarieties of the Variety of Meadows

Cites work

• scientific article; zbMATH DE number 3872653 (Why is no real title available?)
• Application of universal constraints in the analysis of classification algorithms
• Combining programs and state machines
• Decision problems for pushdown threads
• Instruction sequence processing operators
• Logical Approaches to Computational Barriers
• Meadows and the equational specification of division
• On the Simplification and Equivalence Problems for Straight-Line Programs
• Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs
• Program algebra for sequential code
• The initial meadows
• The rational numbers as an abstract data type
• The structure of finite meadows
• Thread algebra for strategic interleaving

Cited in

(3)

• Inversive meadows and divisive meadows
• Transformation of fractions into simple fractions in divisive meadows
• Division by zero in non-involutive meadows

This page was built for publication: Straight-line instruction sequence completeness for total calculation on cancellation meadows

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