Dettagli sull'Insegnamento per l'A.A. 2013/2014

Obiettivi

Il corso ha l'obiettivo di presentare concetti fondamentali dei linguaggi di programmazione facendo riferimento a diversi paradigmi di programmazione

Sillabo

• Fondamenti
• Funzioni
• Procedure, Tipi, Gestione della memoria e controllo
• Modularita', astrazione e Programmazione orientata agli oggetti
• Concorrenza
• Programmazione Logica

Testi di riferimento

• J. Mitchell, Concepts in Programming Languages 2003.    

Modalità d'esame

Programma d'esame (con riferimento al testo adottato) 1. Introduction; 2. Computability; 3. Lisp: Functions, Recursion, and Lists; 4. Fundamentals; 4.1 Compilers and Syntax; 4.4 Functional and Imperative Languages; 5. The Algol Family and ML; 6. Type Systems and Type Inference; 7. Scope, Functions, and Storage Management; 8. Capitolo 8 fino a 8.4 escluso; 9. Capitolo 9 escluso 9.2.5; 10. Capitolo 10; 11. Capitolo 14 escluso 14.2 + Appunti; 12. Capitolo 15 + Appunti. Gli esercizi della prova finale saranno della tipologia riportata nel libro, relativamente ai capitoli contenuti nel programma, più eventualmente esercizi sulla scrittura di piccoli programmi nei linguaggi affrontati nel corso.

Risorse Internet

Aggiornamenti alla pagina del corso

• A.A. 2013/2014
• A.A. 2014/2015
• A.A. 2015/2016
• A.A. 2016/2017
• A.A. 2017/2018
• A.A. 2018/2019
• A.A. 2019/2020