|
|
|
|
|
CÓDIGO NOME CARGA
HORÁRIA SEMANAL
N.º DE CARGA HORÁRIA
TEÓRICA PRÁTICA CREDITOS
GLOBAL
|
|
Semântica de Linguagens de Programação
|
5 |
0 |
05 |
75 |
PRÉ – REQUISITOS
|
Teoria
e implementação de linguagens computacionais |
EMENTA
|
q
Sintaxe q
Semântica
estática e dinâmica q
Técnicas
de definição formal de semântica q
Aspectos
relacionados a orientação a objetos q
Semântica
formal de linguagens orientadas a objetos |
CONTEÚDO PROGRAMÁTICO
|
q
Definição
de sintaxe, e semântica (estática e dinâmica)
q
Visão
geral de formalismos de especificação semântica q
Detalhamento
de um formalismo específico de perspectiva histórica q
Detalhamento
de um formalismo moderno q
Apresentação
de ferramentas de trabalho q
Projeto
q
Apresentação
de projeto q
Detalhamento
de técnicas apropriadas para a definição de linguagens orientadas a
objetos q
Orientação
a objetos q
Estudo
de trabalhos atualizados que definem a semântica de linguagens orientadas
a objetos q
Avaliação
escrita |
BIBLIOGRAFIA BÁSICA
|
q
Semantics with Applications -
A Formal Introduction Hanne Riis Nielson e Flemming Nielson Wiley
Professional Computing John Wiley & Sons, 1992. q
Programming Language Syntax and Semantics David A
Watt Prentice Hall, 1991. q
Action Semantics Peter D. Mosses Cambridge
University Press, 1992. q
Object-oriented Software Construction Bertrand
Meyer Prentice-Hall, 1998 q
The Java Language Specification James Gosling,
Bill Joy, e Guy Steele The Java Series Addison-Wesley, 1996 q
Artigos
atualizados mostrando o estado da arte na área |
 |