The Ada Numerics Model
summary
Describes how Ada provides portable numeric arithmetic using interval arithmetic to meet performance and portability requirements without mandating a specific implementation model (for example, it does not require IEEE floating-point). It explains the approach of using interval arithmetic to achieve portable numerics while avoiding unacceptable performance costs.
AI-written summary · about