Cálculo de Programas

LMCC - 2o. ano - 2005/06

Apresentação

Temas

Introdução ao Cálculo de Programas

Teoria Algébrica da Programação

Aplicação: Especificação e Transformação de Programas

Programação Funcional com Padrões de Recursividade

Programação Genérica 


Equipa Docente

Jorge Sousa Pinto (T), jsp AT di PONTO uminho PONTO pt

Olga Pacheco (TP,P), omp AT di PONTO uminho PONTO pt

Luís Soares Barbosa (TP,P),  lsb AT di PONTO uminho PONTO pt

Departamento de informáticA UM