Sumários do turno prático de 4ª-feira de LP

2006/2007 - 2º semestre.

[Aulas: 1 2 3 4 5 6 7 8 9 10 11 12]


1ª Aula - 2007/2/28

Manipulação de gramáticas. Gramáticas em Prolog. (Exercícios 1 e 2.)

2ª Aula - 2007/3/7

Gramáticas em Prolog e árvores de sintaxe abstracta. (Exercícios 3 e 5.)

3ª Aula - 2007/3/14

Cálculo-λ: α-equivalência; redução-β; construção de termos-λ equivalentes a programas em C e em Haskell. (Exercícios 11, 12, 13 e 15.)

4ª Aula - 2007/3/21

Cálculo-λ: funções com mais de um argumento. Semântica denotacional: cálculo da semântica denotacional de fragmentos de código; definição da semântica denotacional de novas instruções. (Exercícios 17, 19 e 20.)

5ª Aula - 2007/3/28

Aplicação do algoritmo de inferência de tipos. (Alíneas a, b, d, l, o, r e x do exercício 22.)

6ª Aula - 2007/4/11

Aplicação do algoritmo de inferência de tipos. (Alíneas x, j, t, f, g, h e z do exercício 22.)

7ª Aula - 2007/5/2

Registos de activação para blocos inline (exercício 24). Processamento de linguagens em C.

8ª Aula - 2007/5/9

Passagem de argumentos por valor, por referência e por valor-resultado. Ligação estática e dinâmica de nomes (static/lexical scope e dynamic scope). Registos de activação para linguagens que permitem definir funções dentro de blocos. (Exercícios 7.6, 7.7 e 7.8 do livro do Mitchell.)

9ª Aula - 2007/5/16

Registos de activação na presença de funções passadas como argumento. (Exercício 7.12 do livro do Mitchell.)

10ª Aula - 2007/5/23

Registos de activação na presença de funções devolvidas como resultado de funções e de funções recursivas. (Exercícios 7.13 e 7.14 do livro do Mitchell.)

11ª Aula - 2007/6/6

Excepções: funcionamento e a pilha de execução. (Exercícios 8.1 e 8.4 do livro do Mitchell.)

12ª Aula - 2007/6/13

Objectos: implementação em Simula e em Smalltalk, subtipos. (Exercícios 11.1, 11.3 e 11.4 [com o código do 11.1] do livro do Mitchell.)