04138 - Programming Languages

Academic Year 2018/2019

  • Moduli: Maurizio Gabbrielli (Modulo 2) Roberto Gorrieri (Modulo 1)
  • Teaching Mode: Traditional lectures (Modulo 2) Traditional lectures (Modulo 1)
  • Campus: Bologna
  • Corso: First cycle degree programme (L) in Computer Science (cod. 8009)

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: [http://www.unibo.it/SitoWebDocente/default.htm?UPN=simone.martini2%40unibo.it]Roberto Gorrieri [http://www.cs.unibo.it/~gorrieri/]
The evolution of programming languages. From assembly to higher level languages. Abstract machines, intepreters and compilers. Syntax (BNF) and semantics (SOS). Regular grammars, regular expressions, and regular automata: equivalences and principal theorems (e.g., pumping lemma); design of lexical analysers. Context free grammars and push-down automata: equivalences and principal theorems (e.g., pumping lemma). Deterministic context free grammars: algorithms for parsing; grammars LL(1), LR(0), SLR, LR(1), LALR.

Second module, second semester; instructor: Maurizio Gabbrielli [http://www.unibo.it/SitoWebDocente/default.htm?UPN=maurizio.gabbrielli%40unibo.it]
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. The concurrent paradigm.

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 English translation of the first edition:
Maurizio Gabbrielli, Simone Martini. Programming Languages: Principles and Paradigms [http://www.springer.com/computer/book/978-1-84882-913-8]. Springer, April 2010. ISBN 978-1-84882-913-8. Series Undergraduate Topics in Computer Science, UTiCS [http://www.springer.com/series/7592] .

Teaching methods

Lectures

Assessment methods

Written and oral examinations. The examination covers both modules.

Teaching tools

http://www.cs.unibo.it/~gorrieri/LP/lp.html

http://www.cs.unibo.it/~gabbri/corsi/linguaggi.html

Office hours

See the website of Maurizio Gabbrielli

See the website of Roberto Gorrieri