SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

Resumo do Componente Curricular

Dados Gerais do Componente Curricular
Tipo do Componente Curricular:	MÓDULO
Unidade Responsável:	PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO (12.13)
Código:	DIM0889
Nome:	SEMÂNTICA DE LINGUAGENS DE PROGRAMAÇÃO
Carga Horária Teórica:	60 h.
Carga Horária Prática:	0 h.
Carga Horária de Ead:	0 h.
Carga Horária Total:	60 h.
Pré-Requisitos:
Co-Requisitos:
Equivalências:
Excluir da Avaliação Institucional:	Não
Matriculável On-Line:	Sim
Método de Avaliação:	CONCEITO
Horário Flexível da Turma:	Não
Horário Flexível do Docente:	Sim
Obrigatoriedade de Nota Final:	Sim
Pode Criar Turma Sem Solicitação:	Não
Necessita de Orientador:	Não
Exige Horário:	Sim
Permite CH Compartilhada:	Não
Permite Múltiplas Aprovações:	Não
Quantidade de Avaliações:	1
Ementa/Descrição:	Sintaxe abstrata e concreta. Semântica estática e dinâmica de linguagens de programação. Semântica Operacional, Semântica denotacional. Semântica axiomática.
Referências:	1. Matthew Hennessy. Semantics of Programming Languages. Wiley, 1990. 2. Glynn WINSKELL. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1996 3. K. R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs.Springer, 2nd edition, 1997. 4. C.A.R. Hoare . Unified Theories of Programming. Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, UK. Prentice Hall Europe 1998. 5. P. Deransart, M. Jourdan, and B. Lorho. Attribute Grammars: Definitions, Systems and Bibliography, volume 323 of Lecture Notes in Computer Science. Springer-Verlag, 1988. 6. P. Lee. Realistic Compiler Generation. MIT Press, 1989. 7. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, 1981. 8. D. A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1986. 9. K. Slonneger and B. L. Kurtz. Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach. Addison-Wesley, 1995. 10. Peter D. Mosses. Action Semantics. Cambridge University Press, 1992.

<< Voltar