Comparing Implementations of a Calculator for Exact Real Number Computation

Comparing Implementations of a Calculator for Exact Real Number Computation

Al ser uno de los primeros lenguajes de programación teóricos para el cómputo con números reales, Real PCF demostró ser impráctico debido a los constructores paralelos que necesita para el cálculo de funciones básicas. Posteriormente, se propuso LRT como una variante de Real PCF el cual evita el uso...

Full description

Bibliographic Details
Main Authors: José Raymundo Marcial-Romero, José Antonio Hernández Servín, Héctor Alejandro Montes-Venegas
Format: Article
Language:English
Published: Universidad Autonoma del Estado de Mexico 2012-01-01
Series:Ciencia Ergo Sum
Subjects:
lenguajes de programación
cómputo con números reales
programación funcional
Online Access:http://www.redalyc.org/articulo.oa?id=10422928007

Similar Items

Similar Items