Please use this identifier to cite or link to this item:
http://repositorio.ugto.mx/handle/20.500.12059/2183
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.rights.license | http://creativecommons.org/licenses/by-nc-nd/4.0 | es_MX |
dc.creator | ALEJANDRA YUNUEN LUCATERO VILLASEÑOR | es_MX |
dc.date.accessioned | 2020-07-20T21:19:03Z | - |
dc.date.available | 2020-07-20T21:19:03Z | - |
dc.date.issued | 2012-03-01 | - |
dc.identifier.uri | http://repositorio.ugto.mx/handle/20.500.12059/2183 | - |
dc.description.abstract | 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. | es_MX |
dc.language.iso | eng | en |
dc.publisher | Universidad de Guanajuato | es_MX |
dc.relation | https://doi.org/10.15174/au.2012.339 | - |
dc.rights | info:eu-repo/semantics/openAccess | es_MX |
dc.source | Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012) | es_MX |
dc.title | Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++ | en |
dc.type | info:eu-repo/semantics/article | es_MX |
dc.creator.id | info:eu-repo/dai/mx/cvu/201020 | es_MX |
dc.subject.cti | info:eu-repo/classification/cti/1 | es_MX |
dc.subject.cti | info:eu-repo/classification/cti/1203 | es_MX |
dc.subject.keywords | Real number computation | en |
dc.subject.keywords | Functional programming | en |
dc.subject.keywords | Operational semantics | en |
dc.subject.keywords | LRT (Language for Redundant Test) | en |
dc.subject.keywords | FC++ (Functional Programming Language) | es_MX |
dc.subject.keywords | Cálculo con números reales | es_MX |
dc.subject.keywords | Programación funcional | es_MX |
dc.subject.keywords | Semántica operacional | es_MX |
dc.subject.keywords | LRT (Lenguaje de Verificación Redundante) | es_MX |
dc.subject.keywords | FC++ (Lenguaje de programación Funcional) | es_MX |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_MX |
dc.creator.two | JOSE RAYMUNDO MARCIAL ROMERO | es_MX |
dc.creator.three | José Antonio Hernández Servín | es_MX |
dc.creator.idtwo | info:eu-repo/dai/mx/cvu/39478 | es_MX |
dc.creator.idthree | info:eu-repo/dai/mx/cvu/89146 | es_MX |
dc.description.abstractEnglish | Language for Redundant Test (LRT) is a programming language for exact real number computation. Its lazy evaluation mechanism (also called call-by-need) and its infinite list requirement, make the language appropriate to be implemented in a functional programming language such as Haskell. However, a direction translation of the operational semantics of LRT into Haskell as well as the algorithms to implement basic operations (addition subtraction, multiplication, division) and trigonometric functions (sin, cosine, tangent, etc.) makes the resulting scientific calculator time consuming and so inefficient. In this paper, we present an alternative implementation of the scientific calculator using FC++ and GMP. FC++ is a functional C++ library while GMP is a GNU multiple presicion library. We show that a direct translation of LRT in FC++ results in a faster scientific calculator than the one presented in Haskell. | en |
Appears in Collections: | Revista Acta Universitaria |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A Scientific Calculator for Exact Real Number Computation Based on LRT.pdf | 372.67 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.