Teaching code

4S02727

Credits

6

Coordinator

Isabella Mastroeni

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Moodle Seminars 0

The teaching is organized as follows:

Learning objectives

The course provide specific capabilities in the context of programming languages. In particular, it provides the necessary knowledge for operating in design, development and maintenance of software systems, starting form the right choice of the programming language dependent on the specific tasks and features of what should be developed. At the end of the course, the student will have to show: to know and to be able to study and understand new programming languages; to be able to apply the acquired capabilities and knowledge for choosing the programming language depending on what he/she has to develop; to be able to develop necessary expertise for affording the following studies with a sufficient degree of autonomy.

Prerequisites and basic notions

Knowledge of mathematical logic and programming.

Program

------------------------
UL: Teoria
------------------------
Virtual machines: interpreters and compilers. Syntactical descriptions of programming languages: context free grammars. Structured operational semantics.
Memory management: scoping rules, functions, procedures, parameter passing, stack of activation records, heap.
Control: structuring of statements, abstraction, exceptions.
Data and types: data types, base types, structured types, type systems, type inference and polymorphism.
Examples of programming paradigms.
------------------------
UL: Laboratorio
------------------------
Introduction of tools for making exercise on the techniques of interpretation of programming languages.

Bibliography

Didactic methods

------------------------
UL: Teoria
------------------------
Frontal lessons
------------------------
UL: Laboratorio
------------------------
Recorded tutorials to follow at home, and laboratory sessions for the execution or completion of the exercises left to be done in the tutorials and to be delivered for the accumulation of the 1/30 bonus to be added to the project evaluation.

Learning assessment procedures

------------------------
UL: Teoria
------------------------
Written exam with exercises and questions relating to the entire program of the course (with oral, always on the entire program, possible only for those who pass the written exam with a grade greater than 26/30, but mandatory to register a grade greater than 26/30 ).

------------------------
UL: Laboratorio
------------------------
An evaluation of 3/30 attributed to the laboratory is reserved through the delivery of a project evaluated through questions to be answered during the writing. This evaluation can reach 4/30 depending on the number of homeworks delivered during the workshop and in case of delivery of the project by the end of the course.

Evaluation criteria

------------------------
UL: Teoria
------------------------
The objective of the written test is to ascertain an adequate understanding of the contents and the ability to re-elaborate such contents. A sufficient capacity for formal reasoning on the semantics of programming languages is also ascertained through the resolution of exercises. The objective of the oral exam is to ascertain an advanced understanding of the contents that allows a critical analysis and a reworking of the concepts and results studied, also by ascertaining the knowledge of theorems and proofs.
------------------------
UL: Laboratorio
------------------------
The questions on the project aim to verify the effective understanding of the structures implemented and delivered.

Criteria for the composition of the final grade

The final grade consists in the evaluation of the written test including theory and laboratory (optional) possibly mediated with the grade of the oral interview.

Exam language

------------------------ UL: Teoria ------------------------ Italiano ------------------------ UL: Laboratorio ------------------------ italiano