A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++.

dc.creator	Lucatero, Alejandra
dc.creator	Marcial-Romero, J. Raymundo
dc.creator	Hernández, J. A.
dc.date	2012
dc.date.accessioned	2022-10-01T02:18:57Z
dc.date.available	2022-10-01T02:18:57Z
dc.identifier	http://www.redalyc.org/articulo.oa?id=41623190005
dc.identifier	0188-6266	es
dc.identifier.uri	http://hdl.handle.net/20.500.11799/136221
dc.description	"Language for Redundant Test (LRT) is a programming language for exact real number compu-tation. Its lazy evaluation mechanism (also called call-by-need) and its infinite list requirement, make the language appropriate to be implemented in a functional pr
dc.format	application/pdf
dc.language	en
dc.publisher	Universidad de Guanajuato
dc.relation	http://www.redalyc.org/revista.oa?id=416
dc.rights	Acta Universitaria
dc.source	Acta Universitaria (México) Vol.22
dc.subject	Multidisciplinarias (Ciencias Sociales)
dc.subject	operational semantics
dc.subject	functional programming
dc.subject	Real number computation
dc.title	A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++.
dc.type	Artículo

Ficheros en el objeto digital

Ficheros	Tamaño	Formato	Ver documento
No hay resultados asociados a este ítem.

Título
A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++.
Editor
Universidad de Guanajuato
Tipo de documento
Artículo
Palabras clave
Multidisciplinarias (Ciencias Sociales)
operational semantics
functional programming
Real number computation

Los documentos depositados en el Repositorio Institucional de la Universidad Autónoma del Estado de México se encuentran a disposición en Acceso Abierto bajo la licencia Creative Commons: Atribución-NoComercial-SinDerivar 4.0 Internacional (CC BY-NC-ND 4.0)