2 ms·Analysis and Synthesis of Floating-Point Programs (Dagstuhl Seminar) [pdf]1 points by Katydid 9y ago