Table of Contents
Astrazioni sui dati : Ragionare sui Tipi di Dato Astratti
Ragionare sui Tipi di Dato Astratti
Modificabilità 1
Modificabilità 2
Categorie di operazioni 1
Categorie di operazioni 2
Categorie di operazioni 3
Categorie di operazioni 4
Dimostrare proprietà dell’astrazione
Dimostrariamo una proprietà di IntSet 1
Dimostrariamo una proprietà di IntSet 2
Dimostrariamo una proprietà di IntSet 3
Dimostrariamo una proprietà di IntSet 4
Correttezza dell’implementazione
La funzione di astrazione 1
La funzione di astrazione 2
La funzione di astrazione 3
La funzione di astrazione di IntSet
La funzione di astrazione di Poly
La funzione di astrazione può essere implementata
toString per IntSet
Verso l’invariante di rappresentazione
L’invariante di rappresentazione
L’invariante di rappresentazione di IntSet
Una diversa implementazione per IntSet 1
Una diversa implementazione per IntSet 2
Una diversa implementazione per IntSet 3
Una funzione ausiliaria nel rep invariant
L’invariante di rappresentazione di Poly
L’invariante di rappresentazione può essere implementato 1
repOK
repOK per Poly
repOK per IntSet
Correttezza di una implementazione
Soddisfacimento del rep invariant
Correttezza di IntSet 1
Correttezza di IntSet 2
Correttezza di IntSet 3
Correttezza di Poly 1
Correttezza di Poly 2
Correttezza di Poly 3
Le implementazioni dei metodi soddisfano la specifica
Correttezza di IntSet 1
Correttezza di IntSet 2
Correttezza di IntSet 3
|