Por favor, use este identificador para citar o enlazar este ítem:
http://repositorio.ugto.mx/handle/20.500.12059/2183
Título: | Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++ |
Autor: | ALEJANDRA YUNUEN LUCATERO VILLASEÑOR |
ID del Autor: | info:eu-repo/dai/mx/cvu/201020 |
Resumen: | El lenguaje de verificación redundante (LRT, por sus siglas en inglés) es un lenguaje de programación para el cómputo con números reales exactos. Su método de evaluación lazy (o mejor conocido como llamada por necesidad) y el manejo de listas infinitas requerido, hace que el lenguaje sea apropiado para su implementación en un lenguaje funcional como Haskell. Sin embargo, la implementación directa de la semántica operacional de LRT en Haskell así como los algoritmos para funciones básicas (suma, resta, multiplicación y división) y funciones trigonométricas (seno, coseno, tangente, etc) hace que la calculadora científica resultante sea ineficiente. En este artículo, presentamos una implementación alternativa de la calculadora científica usando FC++ y GMP. FC++ es una librería que utiliza el paradigma Funcional en C++ mientras que GMP es una librería GNU de múltiple precisión. En el artículo mostramos que la implementación directa de LRT en FC++ resulta en una librería más eficiente que la implementada en Haskell. |
Fecha de publicación: | 1-mar-2012 |
Editorial: | Universidad de Guanajuato |
Licencia: | http://creativecommons.org/licenses/by-nc-nd/4.0 |
URI: | http://repositorio.ugto.mx/handle/20.500.12059/2183 |
Idioma: | eng |
Aparece en las colecciones: | Revista Acta Universitaria |
Archivos en este ítem:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
A Scientific Calculator for Exact Real Number Computation Based on LRT.pdf | 372.67 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.