[codecraft] Desperately Needed Remedies for the Undebuggability of ... Floating-Point Computations

[Philip Durbin]

"When the auto-pilot disengaged, its error-message to the co-pilots said
“Invalid Data”.
It should have said “Airspeed Inconsistent with Maintenance of Altitude”,
but didn’t.
With this crucial information, the co-pilots would have deduced what to do
immediately."

http://www.cs.berkeley.edu/~wkahan/Hdlbrg2.pdf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://or8.net/pipermail/codecraft/attachments/20151024/5ef5b29f/attachment.html>