Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
The notion of a most general algebraic specification of an arithmetical datatype of characteristic zero is introduced. Three examples of such specifications are given. A preference is formulated for a specification by means of infinitely many equations which can be presented via a finite number of...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Alexandru Ioan Cuza University of Iasi
2020-08-01
|
| Col·lecció: | Scientific Annals of Computer Science |
| Matèries: | |
| Accés en línia: | https://www.info.uaic.ro/en/sacs_articles/most-general-algebraic-specifications-for-an-abstract-datatype-of-rational-numbers/ |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|