TIPI DI DATO ASTRATTO (ADT)
Un tipo di dato astratto (ADT) definisce una
categoria concettuale con le sue proprietý:
un insieme di operazioni ammissibili su oggetti di quel tipo
- funzioni: calcolano valori sul dominio D
- predicati: calcolano proprietý vere o false su D