Mohamed Amine Najahi. Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation.
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Jun 2012, Dijon, France. 5ièmes Rencontres Arithmétique de l’Informatique Mathématique, 2012.
⟨lirmm-01277361⟩