Home » Archivo » Archvio 2009 » Semantica dei linguaggi di programmazione - 2009/2010

Laurea Magistrale

Salta il menu di secondo livello

Semantica dei linguaggi di programmazione - 8 CFU - A.A. 2009/2010

Insegnante

Prof. Francesco Ranzato

Periodo

I anno - 1 trimestre | 01/10/2009 - 04/12/2009

Curriculum:

Ore: 48 Frontali, 0 Laboratorio, 16 Esercizi

Torna su ▲

Programma del Corso

I principali argomenti trattati nel corso saranno i seguenti. Sintassi e semantica dei programmi. Semantica operazionale small step e big step. Principi di induzione e definizioni induttive. Semantica denotazionale. Ordinamenti, domini e punti fissi. Semantica assiomatica. Verifica di correttezza dei programmi. Semantica operazionale e denotazionale di linguaggi funzionali. Cenni all'analisi statica dei programmi. Sistemi di tipo. Inferenza di tipi.

Prerequisiti: - -

Propedeuticità:

Ausili Didattici:

Testi di Riferimento: H.R. Nielson e F. Nielson. "Semantics with applications - A formal Introduction", Wiley 1992. Sara` fornita una copia elettronica del libro.

Torna su ▲