2014
2014
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Linguaggi di programmazione
| Informazioni generali | |||
| Corso di Laurea | Informatica e Tecnologie per la Produzione del Software | Percorso | |
|---|---|---|---|
| CFU | 9 | Università | BARI |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | I 9 CFU sono 7 di tipo T1 e 2 di tipo T2.T1= 8 h di lezione in aula e 17 di studio individuale; T2= 15 h di lezione in laboratorio e 10 di studio individuale | ||
9 cfu così ripartiti nelle aree:
- 1 CFU nell'area A - Fondamenti
- 8 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- A - Fondamenti
- *
CAL - Calcolabilita'
Il problema della fermata; Espressività dei linguaggi di programmazione Formalismi per la calcolabilità; Funzioni e algoritmi - D - Linguaggi
- *
LF - Linguaggi Formali
Linguaggi formali e operazioni; Espressioni regolari, Automi finiti; Grammatiche Vincoli sintattici contestuali Linguaggi liberi: derivazioni, ambiguità Dalla sintassi alla semantica - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Nozione di macchina astratta e l'interprete; Implementazione di un linguaggio; Gerarchie di macchine astratte - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Tecniche di gestione della memoria: Gestione statica e dinamica Implementazione delle regole di scope Problema del dangling reference; Tecniche di Garbage collection - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Compilatori Analisi lessicale: Token; Generatori di analizzatori lessicali Analisi sintattica: Automi a pila; Analizzatori sintattici; Manipolazioni delle grammatiche Parser top-down: Parser a discesa ricorsiva, First e Follow, Grammatiche LL(k); Generatori di analizzatori sintattici -
PLN - Paradigmi Linguistici
Paradigma imperativo Strutturare il controllo: espressioni e comandi elementari; comandi per il controllo di sequenza nella programmazione strutturata; ricorsione Strutturare i dati: Tipi e Sistemi di tipi Equivalenza, Compatibilità e conversione, Polimorfismo Controllo e inferenza di tipo, Sicurezza: -
PLN - Paradigmi Linguistici
Paradigma orientato agli oggetti Concetti fondamentali: Oggetti, Classi, Incapsulamento, Sottotipi, Ereditarietà, Selezione dinamica dei metodi Aspetti implementativi Polimorfismo e generici -
ALC - Astrazioni Linguistiche e Composizionalita'
Nomi e oggetti denotabili, Ambiente e blocchi; Regole di scope; Sottoprogrammi, Astrazione funzionale e Passaggio dei parametri Eccezioni -
ALC - Astrazioni Linguistiche e Composizionalita'
Astrarre sui dati Tipi di dato astratti, Information hiding Programmazione in grande: Moduli
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
