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...
Saved in:
Main Authors: | , , |
---|---|
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 |