Implementación de tipos abstractos de datos sobre lenguajes imperativos

• Autores: Juan Miguel Molina Bravo
• Localización: I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 437-446
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

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