Tópicos
30 Julho As notas do exame de recurso estão disponíveis
aqui.
29 Junho As notas do teste estão disponíveis
aqui.
25 Junho O teste realiza-se amanhã, dia 26 de Junho, às 10h, na sala 2207
18 Junho Estão disponíveis nesta página os sumários e guia das aulas (em versão definitiva).
Este documento poderá ser consultado durante as provas de avaliação.
1 Junho Segunda-feira, dia 2 de Junho, NÃO haverá aulas.
Motivo: participação do docente na reunião extraordinária da Assembleia da Universidade por convocação do Senhor Reitor.
Esta disciplina constitui uma introdução à
semântica formal das linguagens de programação.
Objectivos
- Reflectir sobre as fontes de ambiguidade e erro na concepção de linguagens de programação.
- Explicar os diferentes métodos e técnicas usadas na modelação formal da semântica das linguagens de programação.
- Introduzir as noções e resultados fundamentais em semântica operacional e denotacional.
- Exercitar o uso dessas técnicas e métodos na descrição/concepção de linguagens de programação e na indagação de equivalências semânticas.
Luís Soares Barbosa