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

Lucatero, Alejandra; Marcial-Romero, J. Raymundo; Hernández, J. A.

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

Lucatero, Alejandra; Marcial-Romero, J. Raymundo; Hernández, J. A.

URI: http://hdl.handle.net/20.500.11799/136221

Descripción:

"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

Ir a texto completo: http://www.redalyc.org/articulo.oa?id=41623190005
0188-6266

Mostrar el registro completo del objeto digital

Ficheros en el objeto digital

Este ítem aparece en la(s) siguiente(s) colección(ones)

Artículos publicados en revistas arbitradas de Redalyc.org [4450]

Visualización del Documento

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