2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Linguaggi e Compilatori
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Informatica |
|---|---|---|---|
| CFU | 9 | Università | UDINE |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- D - Linguaggi
-
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Continuation Passing-Style con linguaggi funzional -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione espressioni con accessi in array e Traduzione Control flow -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Type Checking via Grammatiche ad Attributi e Generazione di Codice Intermedio -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Syntax Directed Translation e Grammatiche ad Attributi -
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Parsing top-down e Parsing bottom-up -
*
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Sistemi di riscritture, SLD derivazione, narrowing -
*
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Warren Abstract Machine -
PLN - Paradigmi Linguistici
Il paradigma logico-funzionale: High-order Non-deterministic Programming e il linguaggio Curry -
PLN - Paradigmi Linguistici
Il paradigma logico: Prolog
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
