TWiki · Education/SEM · Programa

Esta disciplina constitui uma introdução à semântica formal das linguagens de programação.

Introdução. Sintaxe e semântica. Semântica Operacional, Denotacional e Axiomática.
Esquemas de definição e prova por indução.
Introdução à semântica operacional.
Introdução à semântica denotacional e teoria dos domínios.
Linguagens funcionais: $\lambda$-calculus e semânticas.