IF137 - Semântica de Linguagens

 

Pré-requisitos

1. Métodos Formais, IF116
2. Compiladores, IF120

Ementa

1. Sintaxe
2. Sistemas de Tipos
3. Subtipo
4. Polimorfismo
5. Verificação e Inferência de Tipos
6. Ligação de Identificadores
7. Passagem de Parâmetros
8. Abstrações
9. Referência e Atribuição
10. Sistemas Modulares
11. Herança
12. Semântica Formal

Referências

1. David A. Schmidt DENOTATIONAL SEMANTICS: A METHODOLOGY FOR LANGUAGE DEVELOPMENT, WCB, 1988.
2. David A. Watt PROGRAMMING LANGUAGE SYNTAX AND SEMANTICS, Draft.
3. Benjamim Pierce TYPING OBJECT ORIENTED LANGUAGES, Lecture Notes, LFCS, University of Edinburgh, 1990.