Carga Horária Teórica: 60 Horas.
Carga Horária Prática: 0 Horas.

Número de Créditos: 4.

Nível: Doutorado/Mestrado

Ementa: Funções. Relações sobre conjuntos: relações de equivalência e de ordem. Indução matemática. Recurso. Sistemas algébricos. Teoria dos domínios: ordens parciais, completa, continuidade, ponto fixo, domínios, espaço das funções. Semântica de Linguagens de Programação. Classes de métodos formais. Introdução e aplicação de métodos formais: VDM, CSP, CCS, LOTOS, Z, OBJ. Redes de Petri. Verificação de programas.

Bibliografia Básica:

- Denotational Semantics: Methodology for Language Development, David A. Schmidt, Allyn and Bacon, 1985 The Formal Semantics of programming Languages: An Introduction. Glynn Winskel, Foundations of Computing Series, MIT Press, 1993.
- Programming Language Syntax and Semantics. David A. Watt, Prentice-Hall, 1991.