Introduzione all’interpretazione astratta
Responsabile didattico: Marco Comini
Durata: 16 ore
Periodo didattico: secondo semestre
Programma
- Richiami su posets, CPO, complete lattices
- Connessioni di Galois e definizioni equivalenti
- Proprietà di composizione
- Operatori di chiusura superiore e inferiore
- Inserzioni di Galois e riduzioni di connessioni
- Aggiunzione di astrazione e concretizzazione
- Esempi
SSD: INF/01
