Menú

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)

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
  • 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)

Buscar en RI


Buscar en RI

Usuario

Estadísticas