Media type: E-Article Title: Logic-Based Program Synthesis and Transformation: Eliminating Unstable Tests in Floating-Point Programs Contributor: Titolo, Laura; Muñoz, César A.; Feliú, Marco A.; Moscato, Mariano M. Published: Springer International Publishing, 2019 Published in: Logic-Based Program Synthesis and Transformation (2019), Seite 169-183 Language: Not determined DOI: 10.1007/978-3-030-13838-7_10 ISBN: 9783030138370; 9783030138387 ISSN: 0302-9743; 1611-3349 Origination: Footnote: