IF112 - Cálculo de Programas

 

Pré-requisitos

1. Linguagem de Programação 2, IF098
2. Lógica Aplicada à Computação, IF312

Ementa

1. Corretude de programas (corretude parcial X corretude total)
2. Uso de asserç ões para documentar e derivar programas (lógica de Hoare)
3. Weakest Precondition como um mecanismo de definir a semântica de uma linguagem de programação
4. Derivação de programas baseado em weakest Precondition

Referências

1. Gries, D.: `THE SCIENCE OF PROGRAMMING', Springer-Verlag, 1981
2. Kaldwaij, A.: `PROGRAMMING: THE DERIVATION OF ALGORITHMS', Prentice-Hall, 1990