Programmazione

Il corso di programmazione si propone lo scopo di formare le basi teoriche e pratiche elementari nella programmazione strutturata e ad oggetti. Il corso e' strutturato in due parti, di circa 60h l'una. Nella prima parte, a carattere principalmente teorico, si introducono in modo rigoroso i linguaggi di programmazione imperativi e le tecniche di programmazione strutturata, giustificando in modo formale sia la costruzione di programmi a partire da asserzioni che la struttura dei linguaggi imperativi. Nella seconda parte si estende il semplice linguaggio imperativo utilizzato nella prima parte con tipi di dato ed oggetti. Considerando un linguaggio di programmazione ad oggetti (JAVA), si introducono i principi della programmazione ad oggetti su semplici strutture dati. Il corrispondente corso di laboratorio è strutturato in modo tale da permettere la sperimentazione pratica dei concetti elementari della programmazione appresi nel corso.
 

Programma del corso:

Fondamenti della programmazione (60h)

• Il concetto di algoritmo
• Sintassi: grammatiche generative, forma BNF, alberi di derivazione
• Semantica: il concetto di stato, sistemi di transizione e semantica di IMP
• Espressivita' dei linguaggi di programmazione (FOR e WHILE)
• Cenni alla Tesi di Church.
• Logica di Hoare: specifica, verifica e sintesi di programmi iterativi.
• Teorema di iterazione finita
• Programmazione per schemi

Programmazione strutturata e ad oggetti in JAVA (60h)

• Astrazioni di controllo: procedure/funzioni.
• Passaggio dei parametri per valore e per riferimento.
• Tipi di dato, stringhe
• Input/output
• Programmazione orientata agli oggetti
• Polimorfismo, ereditarieta' e classi
• Progetto di programmi

Riferimenti:

Materiale distribuito a lezione

Roberto Giacobazzi
30-09-2000