Tópicos Avançados de Informática

Implementação de Linguagens de Programação Lógica

Ano Lectivo de 2003/2004



Resumo

Obter o máximo de desempenho nas aplicações foi desde sempre um dos maiores objectivos da investigação na programação lógica. Este objectivo só pode ser conseguido através de modelos de computação avançados que sejam capazes de uma execução eficiente através da redução do espaço de procura, da extracção de paralelismo e da optimização do código intermédio e de baixo nível gerado.

Pretende-se neste módulo fazer uma introdução à compilação de linguagens de programação lógicas, cobrindo vários modelos de execução e salientando as motivações em termos de eficiência que estes permitem obter.


Programa


Aulas Teóricas


Avaliação

A avaliação dos alunos faz-se por realização de um exame final escrito.

Bibliografia