Institutional PortalUFPEL

Objetivo Geral:

Ao final da disciplina os alunos terão condições de fazer uso dos principais modelos semânticos formais que podem ser utilizados para descrever sistemas computacionais, bem como conhecerão exemplos de suas utilizações.

1. Conceitos básicos de Semântica Formal
2. Semântica Operacional
• Semântica natural
• Semântica operacional estruturada
3. Concorrência
4. Exceções
5. Sistemas de Tipos
6. Semântica de Linguagens Funcionais
7. Semântica de Linguagens Orientadas a Objeto
8. Semântica Denotacional
9. Semântica Axiomática

Bibliografia Básica:

• NIELSON, H. , NIELSON, F. Semantics with Applications: a formal introduction. Wiley Professional Computing, 1992.
• WINSKEL, G. The Formal Semantics of Programming Languages, The MIT PRESS, 1993.
• SEBESTA, Robert W. Conceitos de Linguagens de Programação. 5a.Ed. Porto Alegre: Bookman, 2003.

Bibliografia Complementar:

• NIELSON, H. , NIELSON F. Semantics with Applications: An appetizer, Springer, 2007
• FERNÁNDEZ, MARIBEL. Programming languages and Operational Semantics: An Introduction. King’s College Publications,2004.
• MITCHELL, John C. Foundations for programmming languages. Cambridge : MIT Press, 1996
• Carl A. Gunter. Semantics of Programming Languages: Structures and Techniques. The MIT Press, 1992.
• Benjamin Pierce. Types and programming languages. The MIT Press, 2002