Paradigmas de Programação

Programa

1. O papel das linguagens de programação.
2. Funções, recursão, listas e o LISP.
3. Compiladores e sintaxe, cálculo-lambda e semântica denotacional.
4. A família Algol e o ML.
5. Sistemas de tipos e inferência de tipos.
6. Âmbito, funções e gestão de memória.
7. Abstracção de dados e modularidade.
8. Conceitos em linguagens orientadas por objectos, o Simula e o Smalltalk.
9. Objectos e eficiência em tempo de execução em C++.
10. Portabilidade e segurança em Java.
11. O paradigma de programação em lógica e o Prolog.
12. Concorrência
13. Linguagens de "scripting"