You are here:

04138 - Programming Languages

Academic Year 2024/2025

                
                        Docente:
                        Roberto Gorrieri
                    
                        Credits:
                        12
                    
                        SSD:
                        INF/01
                    
                        Language:
                        Italian
                    
                        Moduli:
                        
                            Roberto Gorrieri
                            (Modulo 1)
                        
                            Maurizio Gabbrielli
                            (Modulo 2)
                        
                            Saverio Giallorenzo
                            (Modulo 3)
                        
                        Teaching Mode:
                        
                                    Traditional lectures (Modulo 1)
                                
                                    Traditional lectures (Modulo 2)
                                
                                    Traditional lectures (Modulo 3)
                                
                            Campus:
                            Bologna
                        
                            Corso:
                            First cycle degree programme (L) in
                            Computer Science (cod. 8009)

                            Online Lessons
                        
                            Teaching resources on Virtuale
                        
                                        Course Timetable
                                    
from Sep 17, 2024 to Dec 03, 2024

                                        Course Timetable
                                    
from Feb 19, 2025 to May 15, 2025

                                        Course Timetable
                                    
from Apr 29, 2025 to Apr 29, 2025

Learning outcomes

At the end of the course, the student will know the principal techniques for defining the syntax and the semantics of the most common programming languages; they will also know how to implement the principal constructs.

Course contents

First module, first semester; instructor: Roberto Gorrieri

http://www.cs.unibo.it/~gorrieri/

The evolution of programming languages. From assembly to higher level languages. Abstract machines, intepreters and compilers. Description of a programming language: syntax, semantics, pragmatics and implementation. Syntax (BNF). Structured Operational Semantics (SOS). Regular grammars, regular expressions, and finite automata: equivalences and principal theorems (e.g., pumping lemma). Design of lexical analysers. Lex. Context free grammars and push-down automata: equivalences and principal theorems (e.g., pumping theorem). Deterministic context free grammars: algorithms for parsing; grammars LL(1), LR(0), SLR, LR(1), LALR(1). YACC.

Second module, second semester; instructors: Maurizio Gabbrielli and Saverio Giallorenzo

http://www.unibo.it/SitoWebDocente/default.htm?UPN=maurizio.gabbrielli%40unibo.it

https://www.unibo.it/sitoweb/saverio.giallorenzo2

Environment, scoping rules and their implementation. Stack of the activation records; heap. Memory management: garbage collection. Sequence control, procedures, recursion. Types and type checking. Parameters and parameter passing: by value, by reference, by result, by name. Functional parameters; closures. Exceptions. The object-oriented paradigm: classes and objects, initialization, inheritance and late-binding. Subtyping is not inheritance. The logical paradigm. The functional paradigm (Scala). The concurrent paradigm and service-oriented computing (Jolie).

Readings/Bibliography

Maurizio Gabbrielli, Simone Martini

Linguaggi di programmazione: principi e paradigmi. Seconda edizione. McGraw-Hill Italia, 2010. ISBN 88-386-6573-8.

For the second module, one can use also the new English edition:
Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo. Programming Languages: Principles and Paradigms [http://www.springer.com/computer/book/978-3031341434]. Springer, 2023. ISBN 978-3031341434 .