By author · Zachary Tatlock
Software & Code
Papers in Software & Code published by Zachary Tatlock.
1 results
A shared number model clarifies when rounding can be reused
A shared number model shows when double rounding works and tests a reusable library on specialized arithmetic.