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.


Edicões

Education » SEM » WebHome » 0708

Tópicos


Avisos

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

r1 - 09 Mar 2009 - 16:21:17 - JorgeSousaPinto
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM