Comparing Implementations of a Calculator for Exact Real Number Computation

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...

Full description

Saved in:
Bibliographic Details
Main Authors: José Raymundo Marcial-Romero, José Antonio Hernández Servín, Héctor Alejandro Montes-Venegas
Format: Article
Language:English
Published: Universidad Autonoma del Estado de Mexico 2012-01-01
Series:Ciencia Ergo Sum
Subjects:
Online Access:http://www.redalyc.org/articulo.oa?id=10422928007
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832086300809756672
author José Raymundo Marcial-Romero
José Antonio Hernández Servín
Héctor Alejandro Montes-Venegas
author_facet José Raymundo Marcial-Romero
José Antonio Hernández Servín
Héctor Alejandro Montes-Venegas
author_sort José Raymundo Marcial-Romero
collection DOAJ
description 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.
format Article
id doaj-art-61632c81fbde445a857a9ad2d485c173
institution Kabale University
issn 1405-0269
2395-8782
language English
publishDate 2012-01-01
publisher Universidad Autonoma del Estado de Mexico
record_format Article
series Ciencia Ergo Sum
spelling doaj-art-61632c81fbde445a857a9ad2d485c1732025-02-06T16:00:31ZengUniversidad Autonoma del Estado de MexicoCiencia Ergo Sum1405-02692395-87822012-01-01192162171Comparing Implementations of a Calculator for Exact Real Number ComputationJosé Raymundo Marcial-RomeroJosé Antonio Hernández ServínHéctor Alejandro Montes-VenegasAl 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.http://www.redalyc.org/articulo.oa?id=10422928007lenguajes de programacióncómputo con números realesprogramación funcional
spellingShingle José Raymundo Marcial-Romero
José Antonio Hernández Servín
Héctor Alejandro Montes-Venegas
Comparing Implementations of a Calculator for Exact Real Number Computation
Ciencia Ergo Sum
lenguajes de programación
cómputo con números reales
programación funcional
title Comparing Implementations of a Calculator for Exact Real Number Computation
title_full Comparing Implementations of a Calculator for Exact Real Number Computation
title_fullStr Comparing Implementations of a Calculator for Exact Real Number Computation
title_full_unstemmed Comparing Implementations of a Calculator for Exact Real Number Computation
title_short Comparing Implementations of a Calculator for Exact Real Number Computation
title_sort comparing implementations of a calculator for exact real number computation
topic lenguajes de programación
cómputo con números reales
programación funcional
url http://www.redalyc.org/articulo.oa?id=10422928007
work_keys_str_mv AT joseraymundomarcialromero comparingimplementationsofacalculatorforexactrealnumbercomputation
AT joseantoniohernandezservin comparingimplementationsofacalculatorforexactrealnumbercomputation
AT hectoralejandromontesvenegas comparingimplementationsofacalculatorforexactrealnumbercomputation