Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

225406

Elementary algebraic specifications of the rational complex numbers

Jan A. BergstraJohn V Tucker

pp. 459-475

Résumé

From the range of techniques available for algebraic specifications we select a core set of features which we define to be the elementary algebraic specifications. These include equational specifications with hidden functions and sorts and initial algebra semantics. We give an elementary equational specification of the field operations and conjugation operator on the rational complex numbers ℚ(i) and discuss some open problems.

Détails de la publication

Publié dans:

Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer José (2006) Algebra, meaning, and computation: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Dordrecht, Springer.

Pages: 459-475

DOI: 10.1007/11780274_24

Citation complète:

Bergstra Jan A., Tucker John V, 2006, Elementary algebraic specifications of the rational complex numbers. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (459-475). Dordrecht, Springer.