. Advisors, Matthieu Martel and Guillaume Revy Joint work with Christophe Mouilleron Équipe-projet DALI, Univ. Perpignan Via Domitia LIRMM, CNRS: UMR 5506 -Univ

D. A. Najahi and C. Dali-upvd-/-lirmm, Synthesis of fixed-point programs based on instruction selection: the case of polynomial evaluation 25, p.25