Publication

On the Generation of Precise Fixed-Point Expressions