La abstracción de datos es una técnica que permite diseñar estructuras de datos representando sus características básicas sin detalles de implementación. Un tipo de dato abstracto (TDA) especifica una estructura de datos y operaciones de forma independiente del lenguaje de programación. La especificación de un TDA incluye los elementos, organización, dominio y operaciones de la estructura. Los TDA mejoran la conceptualización, robustez y extensibilidad de un sistema.