Semântica da Programação

Licenciatura em Ciências da Computação

Avisos

15 Julho Notas do exame disponíveis nesta página.

6 Junho Notas práticas e do teste disponíveis nesta página.

2 Março Foi criado este tópico.

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.

r1 - 07 Apr 2008 - 02:38:16 - LuisSoaresBarbosa

Syndicate this site RSS ATOM