conferences | speakers | series

The Ada Numerics Model

home

The Ada Numerics Model
FOSDEM 2022

The requirements for Ada numerics were to provide portable arithmetics without unacceptable performance cost. This talk shows how this was achieved by interval arithmetics without requiring a particular implementation model, like IEEE arithmetics.

Speakers: Jean-Pierre Rosen