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.

Study Plan

A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010

This information is intended exclusively for students already enrolled in this course.
If you are a new student interested in enrolling, you can find information about the course of study on the course page:

Laurea in Informatica - Enrollment from 2025/2026

The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.

1° Year

ModulesCreditsTAFSSD
6
A
MAT/02
6
A
MAT/05
12
A
ING-INF/05
6
A
FIS/01
6
A
INF/01
6
C
MAT/06
12
A
INF/01
6
E
L-LIN/12

2° Year  activated in the A.Y. 2022/2023

ModulesCreditsTAFSSD
12
B
INF/01
6
C
MAT/05
6
C
FIS/01
12
B
INF/01
6
B
ING-INF/05
6
C
ING-INF/04
12
B
ING-INF/05

3° Year  activated in the A.Y. 2023/2024

ModulesCreditsTAFSSD
12
B
ING-INF/05
6
B
INF/01
6
B
INF/01
6
B
INF/01
1 module among the following
6
C
ING-INF/06
6
C
INF/01
6
C
INF/01
6
C
ING-INF/04
6
C
INF/01
Final exam
6
E
-
activated in the A.Y. 2022/2023
ModulesCreditsTAFSSD
12
B
INF/01
6
C
MAT/05
6
C
FIS/01
12
B
INF/01
6
B
ING-INF/05
6
C
ING-INF/04
12
B
ING-INF/05
activated in the A.Y. 2023/2024
ModulesCreditsTAFSSD
12
B
ING-INF/05
6
B
INF/01
6
B
INF/01
6
B
INF/01
1 module among the following
6
C
ING-INF/06
6
C
INF/01
6
C
INF/01
6
C
ING-INF/04
6
C
INF/01
Final exam
6
E
-
Modules Credits TAF SSD
Between the years: 2°- 3°
12
D
-
Between the years: 2°- 3°
Training
6
F
-

Legend | Type of training activity (TTA)

TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.

A Basic activities
B Characterizing activities
C Related or complementary activities
D Activities to be chosen by the student
E Final examination
F Other training activities
S Placements in companies, public or private institutions and professional associations

Compilers (2023/2024)

Teaching code

4S00041

Credits

6

Coordinator

Mila Dalla Preda

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

Courses Single

Authorized

MoodleMoodle Seminars 0

The teaching is organized as follows:

Teoria

Credits

5

Period

Semester 2

Academic staff

Mila Dalla Preda

Lessons timetable
Laboratorio

Credits

1

Period

Semester 2

Academic staff

Vittoria Cozza

Lessons timetable

Learning objectives

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.

Prerequisites and basic notions

Knowledge of programming (especially the C language)

Program

* Introduction to the course and compiler technology
* Lexical analysis
* Syntactic analysis
* Abstract syntax
* Semantic analysis (type-checking)
* Intermediate code
* Generation of the intermediate code
Laboratory
* Lexical Analysis with Lex
* Syntactic Analysis with Yacc

Bibliography

Vai alla bibliografia
Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Didactic methods

Lectures, exercises and laboratory activities

Learning assessment procedures

Written exam + mandatory laboratory project (assigned at the end of the laboratory course)
The student can also do the two parts in separate sessions by February 2025. This means that the partial marks of the written and of the laboratory remain valid until the next delivery of the course of compilers, i.e. up to and including the February 2025 session

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Evaluation criteria

The written exam aims to verify a sufficient acquisition and understanding of the concepts presented in the course.
The laboratory project aims to verify the ability to program lexical and syntactic analyzers with the help of Lex and Yacc

Criteria for the composition of the final grade

final grade =. written grade (maximal grade 26) + laboratory grade (from 0 to 4 points)

Exam language

Italiano