|
UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
|
| UNIDADE: INSTITUTO POLITÉCNICO | ||
| DEPARTAMENTO: DEPARTAMENTO DE MODELAGEM COMPUTACIONAL | ||
| DISCIPLINA: Conceitos de Linguagens de Programação | ||
| CARGA HORÁRIA: 60 | CRÉDITOS: 4 | CÓDIGO: IPRJ01-10767 |
| MODALIDADE DE ENSINO: Presencial | TIPO DE APROVAÇÃO: Nota e Frequência | |
| STATUS | CURSO(S) / HABILITAÇÃO(ÕES) / ÊNFASE(S) |
| Obrigatória | 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 |
OBJETIVO(S):
Fornecer os fundamentos de linguagens de programação com forte ênfase em sistemas de tipos.
EMENTA:
Paradigmas de linguagens de programação: imperativas (procedurais e orientadas a objetos), funcionais e lógicas. Noções de semântica formal. Teoria dos tipos: sistemas de tipos, polimorfismo. Verificação e inferência de tipos. Semântica formal de tipos.
BIBLIOGRAFIA: 1. Watt, David, Programming Language Design Concepts, John Wiley and Sons, Ltd, 2004
2. Sebesta, Robert W. Conceitos de Linguagens de Programação. Porto Alegre: Editora Bookman, 5a edição
3. Mitchell, J. Foundations for Programming Languages. Estados Unidos: MIT Press, 1996, 840pgs.
4. Benjamin C. Pierce , Types and Programming Languages, The MIT Press (February 1, 2002).