Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
Insegnamenti Crediti TAF SSD

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S000557

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

II semestre dal 4 mar 2013 al 14 giu 2013.

Obiettivi formativi

Gli obiettivi formativi di questo corso consistono nell'approfondire argomenti avanzati inerenti i compilatori e l'analisi statica con lo scopo di comprendere in modo più approfondito tecniche avanzate di trasformazione di programmi, il cui intento non è necessariamente quello classico di ottimizzare il codice, ma anche quello più di frontiera che consiste nel proteggerlo nascondendo informazione o scoprendo vulnerabilità.

Programma

- Introduzione al corso
- Fondamenti matematici
- Teoria dei reticoli
- Interpretazione astratta
- Compilazione di base
- Analisi di programmi
- Analisi statica su domini numerici
- Data-flow analisi
- Shape analisi
- Control-flow analisi
- Analisi statica probabilistica
- Ottimizzazione
- Single static assignment (SSA)
- Propagazione delle costanti
- Eliminazione della ridondanza
- Analisi inter-procedurale
- Analisi dei puntatori
- BDD nella analisi dei puntatori
- Compilazione dinamica
- Escape analisi

Modalità d'esame

Progetto (approfondimento su uno degli argomenti del corso) + Presentazione

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI