Linguaggi di Programmazione

Programma del corso


Scopo del corso è fornire i concetti di base per "capire" un linguaggio di programmazione e una sua particolare realizzazione, al fine di usarne coscientemente caratteristiche e strutture e di valutarne l'adeguatezza ad una particolare area di applicazione. A tale scopo è cruciale dare una descrizione matematica dei linguaggi di programmazione, ovvero definire la loro semantica. Nel corso verrano presentati e confrontati tra loro i modelli semantici piú diffusi, cioè quello operazionale e quello denotazionale.

Materiale didattico

  • Riis Nielson H. e Nielson F. Semantics with applications. A formal introduction, Wiley, Chichister, 1992.
  • Plotkin, G. A Structural Approach to Operational Semantics, DAIMI Report FN-19, Dept. of Computer Science, Aarhus , 1981.
  • Aho A.V., Sethi R. e Ullman J.D. Compilers. Principles, Techniques and Tools, Addison Wesley, Reading, Mass., 1986.


  • Per contattarmi