Partial arithmetical data types of rational numbers and their equational specification

DOI10.1016/J.JLAMP.2022.100797MaRDI QIDQ2168794zbMATH OpenOpenAlexWikidataFDO

Authors John V. Tucker, J. A. Bergstra

Publication date 26 August 2022

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2022.100797

zbMATH Keywords

common meadowsfracterm calculusinvolutive meadowspartial data typesrational numbers with division

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Meadows and the equational specification of division
• The rational numbers as an abstract data type
• Fields, Meadows and Abstract Data Types
• Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
• Inversive meadows and divisive meadows

Cites work

• A propositional logic with 4 values: true, false, divergent and meaningless
• A system of logic for partial functions under existence-dependent kleene equality
• A typed logic of partial functions reconstructed classically
• An Oxford survey of order sorted algebra
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Division by zero in common meadows
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• Equational theories and universal theories of fields
• Fracpairs and fractions over a reduced commutative ring
• scientific article; zbMATH DE number 1617298 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 3723836 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 1390022 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 7696416 (Why is no real title available?)
• Inversive meadows and divisive meadows
• Meadows and the equational specification of division
• Module algebra
• Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
• Partial abstract types
• Subvarieties of the Variety of Meadows
• The completeness of the algebraic specification methods for computable data types
• The rational numbers as an abstract data type
• The wheel of rational numbers as an abstract data type
• Transformation of fractions into simple fractions in divisive meadows
• Wheels on division by zero

Cited in

(4)

• Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
• Perspectives of System Informatics
• On design and implementation of a generic number type for real algebraic number computations based on expression dags
• Which arithmetical data types admit fracterm flattening?

This page was built for publication: Partial arithmetical data types of rational numbers and their equational specification

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