|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: INSTITUTO POLITÉCNICO | ||
| DEPARTAMENTO: DEPARTAMENTO DE MODELAGEM COMPUTACIONAL | ||
| DISCIPLINA: Semântica de Linguagens de Programação | ||
| CARGA HORÁRIA: 60 | CRÉDITOS: 4 | CÓDIGO: IPRJ01-10789 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Eletiva Restrita | IPRJ - Engenharia de Computação (versão 1) |
| Eletiva Definida | IPRJ - Engenharia de Computação (versão 1) |
| TIPO DE AULA | CRÉDITO | CH SEMANAL | CH TOTAL |
| Teórica | 4 | 4 | 60 |
| TOTAL | 4 | 4 | 60 |
EMENTA:
Sintaxe versus semântica. O problema com descrições informais de semânticas. Semânticas Operacional e Denotacional de uma linguagem de expressões aritméticas. Semântica Operacional para uma linguagem do tipo ´while´. Pontos fixos e sua construção. Semântica Axiomática. Correspondências entre Semânticas Denotacional, Axiomática e Operacional.
OBJETIVO(S):
Introduzir os conceitos relativos às três semânticas de linguagens de programação mais utilizadas: denotacional, axiomática e operacional.
BIBLIOGRAFIA: 1. Winskel, G. (1993) The Formal Semantics of Programming Languages. MIT Press.
2. Nielson, H. and Nielson, F. (1993) Semantics with Applications. A formal Introduction (1992). Wiley.
3. Tennent, R. D. (1991), Semantics of Programming Languages. Prentice-Hall.