Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Type D and Type F activities
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso. Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea in Informatica - Immatricolazione dal 2025/2026.Nella scelta delle attività di tipo D, gli studenti dovranno tener presente che in sede di approvazione si terrà conto della coerenza delle loro scelte con il progetto formativo del loro piano di studio e dell'adeguatezza delle motivazioni eventualmente fornite.
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 3° | Control theory | D |
Riccardo Muradore
(Coordinator)
|
| 3° | Biomedical Data and Signal Processing | D |
Silvia Francesca Storti
(Coordinator)
|
| 3° | Matlab-Simulink programming | D |
Bogdan Mihai Maris
(Coordinator)
|
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 3° | Introduction to 3D printing | D |
Franco Fummi
(Coordinator)
|
| 3° | Python programming language | D |
Vittoria Cozza
(Coordinator)
|
| 3° | HW components design on FPGA | D |
Franco Fummi
(Coordinator)
|
| 3° | Rapid prototyping on Arduino | D |
Franco Fummi
(Coordinator)
|
| 3° | Protection of intangible assets (SW and invention)between industrial law and copyright | D |
Roberto Giacobazzi
(Coordinator)
|
| years | Modules | TAF | Teacher | |
|---|---|---|---|---|
| 1° | Subject requirements: mathematics | D |
Rossana Capuani
|
|
| 3° | The fashion lab (1 ECTS) | D |
Maria Caterina Baruffi
(Coordinator)
|
|
| 3° | LaTeX Language | D |
Enrico Gregorio
(Coordinator)
|
|
Compilers (2020/2021)
Teaching code
4S00041
Teacher
Coordinator
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
II semestre dal Mar 1, 2021 al Jun 11, 2021.
Learning outcomes
The course provides the students with the necessary skills for the design and implementation of simple compilers and interpreters.
At the end of the course the student will be able to apply the acquired notions on the theory of compiler constructions for a knowledgeable use of compiler tools such as parser generators and for the design of static analysers.
Program
Programme
* Introduction to the course and to the compilers technology
* Lexical analysis
* Syntactical analysis
* Abstract syntax
* Semantical analysis (type-checking)
* Intermediate code
* Intermediate code generation
* Lab activities
| Author | Title | Publishing house | Year | ISBN | Notes |
|---|---|---|---|---|---|
| Aho, A.V. and Lam, M.S. and Sethi, R. and Ullman, J.D. | Compilatori: Principi, tecniche e strumenti (Edizione 2) | Pearson | 2009 | 978-88-7192-559-2 |
Examination Methods
Written exam + lab project (assigned at the end of the lab classes)
The lab project is mandatory and the project grade ranges from 0.25 to 4
The lab project is persinally discussed with the teacher
The project grade then added to the written exam grade (30 + 1 = 30 Lode)
In order to pass the written exam the exam grade has to be at least 16/30
The exam grade is valid until February 2022
