RADCAL: new semantics for arithmetic

Keywords: JVM, arithmetic, Midpoint Radius Algebra

More information:

  • RADCAL: new semantics for arithmetic
    • RadCal is a design for programming language arithmetic with 100% exact rationals, and automatic precision management for reals based on midpoint radius algebra.
    • No more floating point errors
    • No more implicit inaccuracy
    • No more cumulative errors
  • Looking for a Java/OO specialist to prototype and evaluate smart implementations on the JVM
  • Learn from open-source competitors
  • Make it fast, faster, fastest.
  • For applications in DSLs and Rascal MPL

This project may be hosted at TUE/CWI.

Supervision

Supervisor: Jurgen Vinju (CWI/TUE)