SEMANTICS OF PROGRAMMING LANGUAGES
cod. 1000741

Academic year 2015/16
3° year of course - Second semester
Professor
Roberto BAGNARA
Academic discipline
Informatica (INF/01)
Field
Discipline informatiche
Type of training activity
Characterising
56 hours
of face-to-face activities
6 credits
hub: PARMA
course unit
in - - -

Learning objectives

Introduce students to: the use of formal methods for the specification of the semantics of programming languages; the use of formal techniques for the verification of the behavior of a program with respect to a partial specification.

Prerequisites

Foundations of computer science.

Course unit content

Definition of operational and denotational semantics of simple imperative programming languages; formal reasoning about the behavior of simple programs; notion of behavioral equivalence of computer programs.

Full programme

Program syntax and semantics. Structural operational semantics, big-step and small-step. Induction principles and inductive definitions. Denotational semantics. Orderings, domains and fixed points. Axiomatic semantics. Verification of program correctness. Static program analysis.

Bibliography

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.

Teaching methods

Lectures and exercise sessions, practical projects.

Assessment methods and criteria

Written and oral examination.

Other information

- - -

2030 agenda goals for sustainable development

- - -

Contacts

Toll-free number

800 904 084

Student registry office

E. segreteria.scienze@unipr.it
T. 0521 90 5116

Quality assurance office

Education manager
dr. Claudia Buga
T. 0521 90 2842
Office e-mail: smfi.didattica@unipr.it
Manager e-mail: claudia.buga@unipr.it

President of the degree course

Prof. Alessandro Dal Palù
E. alessandro.dalpalu@unipr.it

Faculty advisor

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

Career guidance delegate

Prof. Roberto Alfieri
E. roberto.alfieri@unipr.it

Tutor Proffesors

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

Erasmus Delegates

Prof. Roberto Bagnara
E. roberto.bagnara@unipr.it
Student tutor dr. Anna Macaluso
E. anna.macaluso@studenti.unipr.it

Quality assurance manager

Prof. Roberto Alfieri
E. roberto.alfieri@unipr.it

Internships

Prof. Roberto Alfieri
E. roberto.alfieri@unipr.it

Tutor students

Tutor a.a. 2021-2022 dr. Francesco Manfredi
E. francescosaverio.manfredi@studenti.unipr.it

Student representatives: 
Greta Dolcetti 
Massimo Frati
Davide Tarpini