Simple Equational Specifications of Rational Arithmetic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Discrete Mathematics and Theoretical Computer Science Year : 2001

Simple Equational Specifications of Rational Arithmetic

Abstract

We exhibit an initial specification of the rational numbers equipped with addition, subtraction, multiplication, greatest integer function, and absolute value. Our specification uses only the sort of rational numbers. It uses one hidden function; that function is unary. But it does not use an error constant, or extra (hidden) sorts, or conditional equations. All of our work is elementary and self-contained.
Fichier principal
Vignette du fichier
dm040216.pdf (70.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00958963 , version 1 (13-03-2014)

Identifiers

Cite

Lawrence S. Moss. Simple Equational Specifications of Rational Arithmetic. Discrete Mathematics and Theoretical Computer Science, 2001, Vol. 4 no. 2 (2), pp.291-300. ⟨10.46298/dmtcs.280⟩. ⟨hal-00958963⟩

Collections

TDS-MACS
34 View
834 Download

Altmetric

Share

Gmail Facebook X LinkedIn More