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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: José Raymundo Marcial-Romero, José Antonio Hernández Servín, Héctor Alejandro Montes-Venegas
Formato: article
Lenguaje:EN
Publicado: Universidad Autonoma del Estado de Mexico 2012
Materias:
Q
H
Acceso en línea:https://doaj.org/article/61632c81fbde445a857a9ad2d485c173
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
id oai:doaj.org-article:61632c81fbde445a857a9ad2d485c173
record_format dspace
spelling oai:doaj.org-article:61632c81fbde445a857a9ad2d485c1732021-11-11T14:46:38ZComparing Implementations of a Calculator for Exact Real Number Computation1405-02692395-8782https://doaj.org/article/61632c81fbde445a857a9ad2d485c1732012-01-01T00:00:00Zhttp://www.redalyc.org/articulo.oa?id=10422928007https://doaj.org/toc/1405-0269https://doaj.org/toc/2395-8782Al 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.José Raymundo Marcial-RomeroJosé Antonio Hernández ServínHéctor Alejandro Montes-VenegasUniversidad Autonoma del Estado de Mexicoarticlelenguajes de programacióncómputo con números realesprogramación funcionalScienceQSocial SciencesHENCiencia Ergo Sum, Vol 19, Iss 2, Pp 162-171 (2012)
institution DOAJ
collection DOAJ
language EN
topic lenguajes de programación
cómputo con números reales
programación funcional
Science
Q
Social Sciences
H
spellingShingle lenguajes de programación
cómputo con números reales
programación funcional
Science
Q
Social Sciences
H
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
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
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
title Comparing Implementations of a Calculator for Exact Real Number Computation
title_short 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_sort comparing implementations of a calculator for exact real number computation
publisher Universidad Autonoma del Estado de Mexico
publishDate 2012
url https://doaj.org/article/61632c81fbde445a857a9ad2d485c173
work_keys_str_mv AT joseraymundomarcialromero comparingimplementationsofacalculatorforexactrealnumbercomputation
AT joseantoniohernandezservin comparingimplementationsofacalculatorforexactrealnumbercomputation
AT hectoralejandromontesvenegas comparingimplementationsofacalculatorforexactrealnumbercomputation
_version_ 1718438752688275456