A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++
2012
Acta Universitaria
Language for Redundant Test (LRT) is a programming language for exact real number computation. Its lazy evaluation mechanism (also called call-by-need) and its infinite list requirement, make the language appropriate to be implemented in a functional programming language such as Haskell. However, a direction translation of the operational semantics of LRT into Haskell as well as the algorithms to implement basic operations (addition subtraction, multiplication, division) and trigonometric
doi:10.15174/au.2012.339
fatcat:7x3eidu5lvgcbgbmfbdt5mvwgi