Licenciatura: Matemática: Ramo Científico, Especialização em Computação

Ano Lectivo: 1999/00

Programa:

1. Noções Gerais: As diferentes metodologias de programação. Metodologias de programação Formais. Abstracção e Modularidade, e a forma como as diferentes metodologias de programação formal suportam estes conceitos.
2. Programação Funcional: Conceitos da Teoria dos Conjuntos necessários para uma melhor compreensão das linguagens funcionais. A linguagem de programação funcional Haskell.
3. Especificação Algébrica: A construção de uma Especificação Algébrica Equacional. A semântica inicial de uma especificação equacional, a Álgebra de Termos Quociente e a Verificação de que uma dada Esp - Álgebra é isomorfa à álgebra de termos quociente. A linguagem de especificação CafeOBJ.