Simple Equational Specifications of Rational Arithmetic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2001

Simple Equational Specifications of Rational Arithmetic

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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 Consultations
815 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More