La abstracción de datos y su proceso gradual de construcción

En este artículo se presenta el proceso gradual de construcción de tipos abstractos de datos (TADs), como los Fraccionarios y los Polinomios, a partir de TADs esenciales, como los Lógicos y los Enteros. Se propone un conjunto de categorías funcionales para clasificar las funciones de un TAD. Las fun...

Full description

Autores:
Moreno Arboleda, Francisco Javier
Echeverri Arias, Jaime Alberto
Flórez Rueda, Roberto
Tipo de recurso:
Article of journal
Fecha de publicación:
2008
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/22963
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/22963
http://bdigital.unal.edu.co/13998/
Palabra clave:
Tipos abstractos de datos
programación orientada a objetos
programación funcional
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary:En este artículo se presenta el proceso gradual de construcción de tipos abstractos de datos (TADs), como los Fraccionarios y los Polinomios, a partir de TADs esenciales, como los Lógicos y los Enteros. Se propone un conjunto de categorías funcionales para clasificar las funciones de un TAD. Las funciones se especifican mediante programación funcional, es decir, no se utilizan construcciones estructuradas como la asignación, la secuencia y los ciclos. Hasta ahora no se encuentra reportada la especificación de funciones con programación funcional para la simplificación en el TAD de los Enteros ni para la suma ordenada en el TAD de los polinomios. Además se muestra la relación inherente entre las funciones de un TAD y la sobrecarga de operadores.