Abstract Data Type (ADT)

Um modelo matemático para tipos de dados onde o tipo é definido pelo seu comportamento (semântica) do ponto de vista do usuário, incluindo seus possíveis valores e operações.