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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Alexandru Ioan Cuza University of Iasi
2020-08-01
|
| Series: | Scientific Annals of Computer Science |
| Subjects: | |
| Online Access: | https://www.info.uaic.ro/en/sacs_articles/most-general-algebraic-specifications-for-an-abstract-datatype-of-rational-numbers/ |