%0 Journal Article
%T Comparing Implementations of a Calculator for Exact Real Number Computation
%A Jos谷 Raymundo Marcial-Romero
%A Jos谷 Antonio Hern芍ndez Serv赤n
%A H谷ctor Alejandro Montes-Venegas
%J Ciencia Ergo Sum
%D 2012
%I Universidad Aut車noma del Estado de M谷xico
%X Al ser uno de los primeros lenguajes de programaci車n te車ricos para el c車mputo con n迆meros reales, Real PCF demostr車 ser impr芍ctico debido a los constructores paralelos que necesita para el c芍lculo de funciones b芍sicas. Posteriormente, se propuso LRT como una variante de Real PCF el cual evita el uso de constructores paralelos introduciendo un constructor no determinista dentro del lenguaje. En este art赤culo se presenta la implementaci車n de una calculadora para el c車mputo con n迆meros reales exactos basada en LRT y se compara su eficacia con una aplicaci車n de n迆meros reales est芍ndar en un lenguaje de programaci車n imperativo. Finalmente, la implementaci車n se compara con una implementaci車n est芍ndar de computaci車n de n迆meros reales exactos, basada en la representaci車n de d赤gitos con signo, que a su vez se basa sobre la computaci車n de n迆meros reales exactos.
%U http://www.redalyc.org/articulo.oa?id=10422928007