The Language View: Expression Evaluation in Mixed Precision

Richard Fateman
Computer Science Division, EECS Dep't
University of California at Berkeley

Abstract:

This section consists of draft Notes on language and compilers. Here we address the issue of what compilers should be allowed to do, encouraged to do, and what should be forbidden.

• Prerequisites
• Expression evaluation with mixed precisions (etc)
  • Precisions from a fixed set
  • Variable precisions
    • Rational
    • Arbitrary-precision floats
    • Target precision
  • Treatment of domains
• How accurate is enough, a question of philosophy
• About this document ...