Paradigmas de Linguagens de Programação
Ementa: Conceitos. Paradigmas de linguagens de programação: imperativas, funcionais, lógicas e orientadas a objetos. 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 básica:
WATT, D. A., Programming Language Concepts and Paradigms, C.A.R. Hoare Series, 1990.
SEBESTA, R., Conceitos de Linguagens de Programação, 4 ed., Bookman, 2000.
GHEZZI, C.; JAZAYERI, M., Programming Language Concepts, 3 ed., John Wiley & Sons, 1997.
Bibliografia básica:
WATT, D. A., Programming Language Concepts and Paradigms, C.A.R. Hoare Series, 1990.
SEBESTA, R., Conceitos de Linguagens de Programação, 4 ed., Bookman, 2000.
GHEZZI, C.; JAZAYERI, M., Programming Language Concepts, 3 ed., John Wiley & Sons, 1997.
Slides
aula 01 - Introdução, domínios e critérios de avaliação, métodos de implementação, paradigmas e evolução de LPs.
aula 02 -
aula 02 -
Listas de Exercícios
Ainda não disponível
Trabalhos
Ainda não disponível