INFORMATICA | Università di Parma

Docente: Roberto BAGNARA
Settore scientifico disciplinare: Informatica (INF/01)
Ambito: Discipline informatiche
Tipologia attività formativa: Caratterizzante

56 ore
di attività frontali

6 crediti

sede: PARMA

insegnamento
in - - -

orari del corso non disponibili

appelli d'esame

Obiettivi formativi

Introdurre gli studenti ai metodi formali per la specifica della semantica dei linguaggi di programmazione ed alle tecniche formali per verificare l'aderenza del comportamento di un programma ad una specifica parziale.

Prerequisiti

Fondamenti dell'informatica.

Contenuti dell'insegnamento

Definizione di semantiche operazionali e denotazionali di semplici linguaggi imperativi sequenziali; ragionamento formale circa il comportamento di semplici programmi; nozioni di equivalenza comportamentale dei programmi.

Programma esteso

Sintassi e semantica dei programmi. Semantica operazionale strutturata big step e small step. Principi di induzione e definizioni induttive. Semantica denotazionale. Ordinamenti, domini e punti fissi. Semantica assiomatica. Verifica di correttezza dei programmi. Analisi statica dei programmi.

Bibliografia

The Semantics of Programming Languages: An Elementary Introduction using Structural Operational Semantics. Matthew Hennessy, Wiley, 1990. [http://www.cogs.susx.ac.uk/users/matthewh/semnotes.ps.gz]

La Semantica Formale dei Linguaggi di Programmazione. Glynn Winskel. MIT Press, 1993.

Metodi didattici

Lezioni, esercitazioni e progetti.

Modalità verifica apprendimento

Esame scritto e orale.

Altre informazioni

- - -

Obiettivi agenda 2030 per lo sviluppo sostenibile

- - -

Contatti

Numero verde

800 904 084

Segreteria studenti

E. segreteria.scienze@unip r.it

Servizio per la qualità della didattica

Manager della didattica:
Dott.ssa Claudia Buga

T. 0521 902842
E. smfi.didattica@unipr.it
E. claudia.buga@unipr.it

Presidente del corso di studio

Prof. Vincenzo Bonnici
E. vincenzo.bonnici@unipr.it

Delegato orientamento in ingresso

Prof. Vincenzo Arceri
E. vincenzo.arceri@unipr.it

Delegato orientamento in uscita

Prof.ssa Chiara Guardasoni
E. chiara.guardasoni@unipr.it

Referente piani di studio

Prof. Flavio Bertini
E. flavio.bertini@unipr.it

Referente convalide

Prof. Andrea Munaro
E. andrea.munaro@unipr.it

Docenti tutor

Prof. Enea Zaffanella
E. enea.zaffanella@unipr.it

Delegati Erasmus