Comparing Implementations of a Calculator for Exact Real Number Computation
Fuente:
Redalyc
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Artículo científico |
| Langue: | en |
| Publié: |
Universidad Autónoma del Estado de México
2012
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1876479564506464256 |
|---|---|
| author | José Raymundo Marcial-Romero |
| author_facet | José Raymundo Marcial-Romero |
| contents | Comparing Implementations of a Calculator for Exact Real Number Computation José Raymundo Marcial-Romero José Antonio Hernández Servín Héctor Alejandro Montes-Venegas Multidisciplinarias (Ciencias Sociales) programación funcional Lenguajes de programación cómputo con números reales 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. 2012 artículo científico 1405-0269 https://www.redalyc.org/articulo.oa?id=10422928007 en http://www.redalyc.org/revista.oa?id=104 CIENCIA ergo-sum, Revista Científica Multidisciplinaria de Prospectiva application/pdf Universidad Autónoma del Estado de México CIENCIA ergo-sum, Revista Científica Multidisciplinaria de Prospectiva (México) Num.2 Vol.19 |
| format | Artículo científico |
| id | redalyc_10422928007 |
| institution | Redalyc |
| language | en |
| publishDate | 2012 |
| publisher | Universidad Autónoma del Estado de México |
| spellingShingle | Comparing Implementations of a Calculator for Exact Real Number Computation José Raymundo Marcial-Romero Multidisciplinarias (Ciencias Sociales) programación funcional Lenguajes de programación cómputo con números reales Comparing Implementations of a Calculator for Exact Real Number Computation José Raymundo Marcial-Romero José Antonio Hernández Servín Héctor Alejandro Montes-Venegas Multidisciplinarias (Ciencias Sociales) programación funcional Lenguajes de programación cómputo con números reales 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. 2012 artículo científico 1405-0269 https://www.redalyc.org/articulo.oa?id=10422928007 en http://www.redalyc.org/revista.oa?id=104 CIENCIA ergo-sum, Revista Científica Multidisciplinaria de Prospectiva application/pdf Universidad Autónoma del Estado de México CIENCIA ergo-sum, Revista Científica Multidisciplinaria de Prospectiva (México) Num.2 Vol.19 |
| title | Comparing Implementations of a Calculator for Exact Real Number Computation |
| topic | Multidisciplinarias (Ciencias Sociales) programación funcional Lenguajes de programación cómputo con números reales |
| url | https://www.redalyc.org/articulo.oa?id=10422928007 |