Resumen de Implementación de tipos abstractos de datos sobre lenguajes imperativos
El propósito de este artículo es poner de manifiesto la falta de textos adecuados para una asignatura sobre tipos abstractos de datos, pensada para los primeros cursos de las Facultades de Informática, que cubran todos los aspectos desde la especificación hasta la implementación, considerar algunas propuestas que se han hecho para formalizar la verificación del paso de especificaciones algebraicas e implementaciones procedimentales, y dar algunas sugerencias para esta asignatura y otras asignaturas relacionadas.
