Target-Aware Implementation of Real Expressions.

Mon, 01 Jan 2024 00:00:00 +0100

Brett Saiki, Jackson Brough, Jonas Regehr, Jesús Ponce, Varun Pradeep, Aditya Akhileshwaran, Zachary Tatlock, Pavel Panchekha:
Target-Aware Implementation of Real Expressions. CoRR abs/2410.14025 (2024)