La Abstracción DE Datos Y Su Proceso Gradual De Construcción

Francisco Javier Moreno Arboleda ^[1] ; Jaime Alberto Echeverri Arias ^[1] ; Roberto Flórez Rueda ^[2]
1. [1] Universidad de Medellín
  
  Universidad de Medellín
  
  Colombia
2. [2] Profesor Departamento de Ingeniería de Sistemas, Universidad de Antioquia,Colombia.Tecnologías
Localización: DYNA: revista de la Facultad de Minas. Universidad Nacional de Colombia. Sede Medellín, ISSN 0012-7353, Vol. 75, Nº. 154, 2008, págs. 167-177
Idioma: español
Enlaces
- Texto completo (pdf)
Resumen
- 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.