Programma del corso di Fondamenti dei linguaggi (AA. 2003/04)

[A] G. Winskel, La semantica formale dei linguaggi di programmazione, UTET libreria, Torino, 1999.

[B] H. Nielsen, F. Nielsen, Semantics with application, J. Wiley & Sons, 1992.

[C] Dispensa integrativa del docente.

• Semantica operazionale del linguaggio imperativo IMP (Cap. II, pag 15-32) ;
• Induzione ben fondata (Cap. III-IV, pag 33-60);
• Ordinamenti parziali completi, funzioni continue e teoremi di Knaster - Tarski per i minimi punti fissi e per i massimi punti fissi (Cap. V, pag 79-86);
• Semantica denotazionale del linguaggio imperativo IMP e corrispondenza con la semantica operazionale (Cap. V, pag 65-78);
• Estensioni del linguaggio IMP (semantica operazionale): costrutti per Abort, Nondeterminismo, Parallelismo (Ref [B], pag 44-50).
• Estensioni del linguaggio IMP (semantica operazionale): Blocchi e procedure, scope statico e dinamico (Ref [B], pag 50-61).
• Linguaggi con tipi di ordine superiore: tipizzazione, semantica operazionale eager e lazy (Cap.XI, pag 201-206 e pag. 219-221);
• Il linguaggio CCS puro (Cap. XIV, pag 336-341), esempi di specifica (Ref [C]);
• Nozioni di equivalenza per CCS: definizione di LTS (Labelled Transition System), equivalenza a tracce, bisimulazione (forte e debole), caratterizzazione della bisimulazione come massimo punto fisso (Ref [C]).