Nome da Atividade
SEMÂNTICA FORMAL
CÓDIGO
1110040
Carga Horária
68 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CARGA HORÁRIA TEÓRICA
4
FREQUÊNCIA APROVAÇÃO
75%
CARGA HORÁRIA OBRIGATÓRIA
4
CRÉDITOS
4

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

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.

Página gerada em 19/03/2024 06:41:23 (consulta levou 0.127818s)