Ragionare sui Tipi di Dato Astratti
proprietà dell’astrazione
- modificabilità
- categorie di operazioni
- dimostrare proprietà dell’astrazione
dimostrare proprietà dell’implementazione
- funzione di astrazione
- invariante di rappresentazione
- dimostrazione mediante induzione sui dati