Mohamed Amine Najahi. Synthesis of fixed-point programs: the case of matrix multiplication.
EJCIM: École Jeunes Chercheurs en Informatique Mathématique, Apr 2013, Perpignan, France. 13th École Jeunes Chercheurs en Informatique Mathématique (EJCIM 2013) Perpignan, April 12th, 2013, 2013.
⟨lirmm-01277362⟩