Nome da Disciplina
SEMÂNTICA FORMAL
CÓDIGO
22000203
Carga Horária
60 horas
Atividade Complementar
Não
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

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 2020 / 1 40 15 Ciência da Computação (Bacharelado)
Horários
ManhãTardeNoite
SEG13:30 - 14:20
14:20 - 15:10
QUI15:10 - 16:00
16:00 - 16:50
ANDRE RAUBER DU BOIS
Professor responsável pela turma

Disciplinas Equivalentes

Disciplina Curso
SEMÂNTICA FORMAL Ciência da Computação (Bacharelado)

Página gerada em 25/02/2020 18:53:00 (consulta levou 0.172332s)