Computation of numerical algorithms with parametric floating point operators

@article{Bartolucci1997ComputationON,
  title={Computation of numerical algorithms with parametric floating point operators},
  author={Massimo Bartolucci and Paolo Guazzoni and Giorgio Manfredi and Giacomo R. Sechi and Luisa Zetta},
  journal={Journal of Systems Architecture},
  year={1997},
  volume={43},
  pages={587-599}
}