Fondamenti - Modulo di Linguaggi di programmazione   Anno Accademico 2018/2019   Corso di Laurea Magistrale in Ingegneria e Scienze Informatiche   Università degli Studi di Verona   Prof. Massimo Merro

Contenuti

• Comunicazioni
• Obiettivi del Corso
• Testi consigliati
• Materiale Didattico
• Esercizi
• Riflessione finale: A che serve la teoria dei linguaggi di programmazione?

Comunicazioni

• Ringraziamenti:
  • Il corso si basa su quello di "Operational Semantics of Programming Languages" tenuto dal Prof. Peter Sewell al Wolfson College di Cambridge,
    e su un corso simile tenuto dal Prof. Matthew Hennessy al Trinity College Dublin.
• Orario lezioni:
  • Primo Semestre
  • Giovedì 11:30-13:30 aula I.
  • Venerdì 14:30-17:30 aula I.
• Ricevimento:
  • giovedì 14:15-16:15 studio 1.57, Ca’ Vignal 2, primo piano.
• Modalità di esame:
  • Il corso di Fondamenti (12 CFU) è composto da due moduli: Linguaggi (6 CFU) e Intelligenza Artificiale (6 CFU). Il voto dell’esame di Fondamenti è unico e viene determinato dalla media dei voti ottenuti nei due moduli.
  • L’esame consiste in due prove scritte: una per AI e una per Linguaggi. A discrezione dei docenti, può essere richiesta una eventuale prova orale.
  • I due scritti possono essere affrontati in maniera indipendente. L’esame di Fondamenti può essere verbalizzato quando si ottiene la sufficienza (18/30) in entrambi i moduli.
  • In ogni caso i voti verranno conservati per 12 mesi; dopo tale data sarà necessario ripetere entrambe le prove, anche nel caso in cui una delle due risultasse sufficiente.

Obiettivi formativi

• L'obiettivo del corso è quello di presentare le basi teoriche dei linguaggi di programmazione. A tale scopo verranno introdotti vari linguaggi paradigmatici anche di ordine superiore. Tutto il corso sarà incentrato sui concetti di semantica operazionale e di sistema di tipi. Verranno introdotte alcune tecniche formali per la verifica del buon comportamento dei programmi.

Testi consigliati

• Semantics of Programming Languages
  Peter Sewell - Computer Laboratory, University of Cambridge Qui potete ottenere una copia.
• Lecture Notes on Semantics of Programming Languages
  Matthew Hennessy. Unpublished. Qui potete ottenere una copia.
• Lecture Notes on Semantics of Programming Languages
  Andrew Pitts. Unpublished. Qui potete ottenere una copia.
• Lecture Notes on Semantics of Programming Languages
  Guy McCusker. Unpublished. Qui potete ottenere una copia.
• Types and Programming Languages
  Benjamin C. Pierce. MIT Press, 2007. ISBN-10:0-262-16209-1.
• The Definition of Standard ML (Revised)
  Robin Milner, Mads Tofte, Robert Harper and David MacQueen. MIT Press, 1997. ISBN-13:978-0-262-63181-5.
• Practical Foundations for Programming Languages.
  Robert Harper. In corso di redazione.
  Il libro viene tuttora aggiornato dal Prof. Harper. Una copia è disponibile qui.

Materiale Didattico

• Introduction (pdf)
• A simple language for arithemtic expressions (pdf)
• A small imperative language (pdf)
• Different kinds of induction (pdf)
• Functional aspects (pdf)
• Data and mutable store (pdf)
• Subtyping and Objects (pdf)
• Semantic equivalences (pdf)
• Concurrency (pdf)

Esercizi

• Esercizi: Espressioni aritmetiche (pdf) con risposte (pdf)
• Esercizi: Induzione Matematica (pdf) con risposte (pdf)
• Esercizi: Induzione Strutturale (pdf) con risposte (pdf)
• Esercizi: Induzione Strutturale (altri esercizi) (pdf) con risposte (pdf)
• Tutorial: Progress (pdf)
• Esercizi: Laziness e strictness del costrutto let (pdf) (prova in dettaglio del Lemma 3 (pdf) )
• Prova d'esame del 29.01.2015 (pdf)
• Prova d'esame del 05.02.2015 (pdf)
• Prova d'esame del 27.02.2015 (pdf)
• Prova d'esame del 22.06.2015 (pdf)
• Prova d'esame del 17.09.2015 (pdf)
• Prova d'esame del 28.01.2014 (pdf)
• Prova d'esame del 11.02.2014 (pdf)
• Prova d'esame del 27.02.2014 (pdf)
• Prova d'esame del 27.06.2014 (pdf)
• Prova d'esame del 11.07.2014 (pdf)
• Prova d'esame del 16.09.2014 (pdf)
• Prova d'esame del 01.02.2016 (pdf)
• Prova d'esame del 15.02.2016 (pdf)
• Prova d'esame del 22.06.2016 (pdf)
• Prova d'esame del 07.07.2016 (pdf)
• Prova d'esame del 19.09.2016 (pdf)
• Prova d'esame del 31.01.2017 (pdf)
• Prova d'esame del 16.02.2017 (pdf)
• Prova d'esame del 23.06.2017 (pdf)
• Prova d'esame del 07.07.2017 (pdf)
• Prova d'esame del 25.01.2018 (pdf)
• Prova d'esame del 26.02.2018 (pdf)
• Prova d'esame del 26.06.2018 (pdf)
• Prova d'esame del 18.07.2018 (pdf)
• Prova d'esame del 4.2.2019 (pdf)
• Prova d'esame del 19.02.2019 (pdf)
• Prova d'esame del 20.06.2019 (pdf)
• Prova d'esame del 04.07.2019 (pdf)
• Prova d'esame del 20.09.2019 (pdf)
• Prova d'esame del 30.01.2020 (pdf)
• Prova d'esame del 17.02.2020 (pdf)
• Altri esercizi d'esame possono essere scaricati a questo indirizzo.

Riflessione finale: A che serve la teoria dei linguaggi di programmazione?

• Gli studenti sono invitati a leggere la pagina del Prof. Luca Aceto "What is this theory good for?" .