Comparando implementaciones de una calculadora para la computación de números reales exactos

Main Article Content

José Raymundo Marcial-Romero José Antonio Hernández Servín Héctor Alejandro Montes-Venegas

Resumen

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.

Article Details

Como citar
MARCIAL-ROMERO, José Raymundo; HERNÁNDEZ SERVÍN, José Antonio; MONTES-VENEGAS, Héctor Alejandro. Comparando implementaciones de una calculadora para la computación de números reales exactos. CIENCIA ergo-sum, [S.l.], v. 19, n. 2, p. 162-171, oct. 2017. ISSN 2395-8782. Disponible en: <https://cienciaergosum.uaemex.mx/article/view/7403>. Fecha de acceso: 19 ago. 2022
Sección
Ciencias exactas y aplicadas