Linguaggi di Programmazione

Il corso presenta i vari linguaggi di programmazione, la loro specifica sintattica e semantica, le strutture per la gestione dei dati e del flusso di controllo. Vengono considerate le caratteristiche dei vari linguaggi, allo scopo di permettere allo studente di scegliere il linguaggio piú adatto alle proprie necessità. Vengono considerati linguaggi imperativi, logici e funzionali, soffermandosi in particolare sul paradigma dei linguaggi a oggetti.

Programma del corso

• Linguaggi, sintassi e semantica.
• Tipi di dato elementari.
• Semantica dei tipi di dato elementari.
• Incapsulazione dei dati. Paradigma a oggetti.
• Semantica del paradigma a oggetti.
• Strutture di controllo di flusso.
• Semantica delle strutture di controllo di flusso.
• Chiamate di procedura. Scoping statico e dinamico.
• Stack di attivazione.
• Eccezioni.
• Concorrenza.
• Linguaggi di programmazione per il web. CGI.
• Esempi di linguaggi di programmazione: Fortran, C, Pascal, C++, Java, ML, Prolog.

Testi di riferimento

• Pratt: ``Linguaggi di Programmazione''. Gruppo editoriale Jackson. Oppure la versione inglese, Pratt & Zelkowitz: ``Programming Languages: Design and Implementation'', Prentice Hall-International.

Modalità d'esame

Esame scritto e orale.