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

Número de Créditos: 4.

Nível: Doutorado/Mestrado

Ementa: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação. Envolve o projeto e implementação de um programa em C de 5000 linhas, ou exercício equivalente.

Bibliografia Básica:

- Denotational Semantics: A 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.