Nome da Atividade
SEMÂNTICA FORMAL
CÓDIGO
22000203
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%
Ementa
Conceitos básicos de sintaxe e semântica. Semântica operacional. Semântica axiomática. Semântica denotacional.
Objetivos
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.Conteúdo Programático
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
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
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
Turmas Ofertadas
Turma | Período | Vagas | Matriculados | Curso / Horários | Professores | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
T1 | 2024 / 2 | 25 | 21 |
Ciência da Computação (Bacharelado) Horários
|
ANDRE RAUBER DU BOIS Professor responsável pela turma |
Disciplinas Equivalentes
Disciplina | Curso |
---|---|
SEMÂNTICA FORMAL | Ciência da Computação (Bacharelado) |