Fixed-Point Code Synthesis Based on Constraint Generation. - Sofiane Bessaï; Dorra Ben Khalifa; Hanane Benmaghnia; Matthieu Martel (DASIP, 2022)