Most general algebraic specifications for an abstract datatype of rational numbers
| Authors | |
|---|---|
| Publication date | 2020 |
| Journal | Scientific Annals of Computer Science |
| Volume | Issue number | 30 | 1 |
| Pages (from-to) | 1-24 |
| Organisations |
|
| Abstract | 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 so-called schematic equations phrased in terms of an infinite signature. On the basis of the latter specification three topics are discussed: (i) fracterm decomposition operators and the numerator paradox, (ii) foundational specifications of arithmetical datatypes, and (iii) poly-infix operations. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.7561/SACS.2020.1.1 |
| Published at | https://www.info.uaic.ro/en/sacs_articles/most-general-algebraic-specifications-for-an-abstract-datatype-of-rational-numbers/ |
| Downloads |
XXX1_0
(Final published version)
|
| Permalink to this page | |
