Práticas
Prática 0 e 1 - 16/09/2026
Bibliografia e Ligações
- PLOS: Cap 1
- CLP: Cap1-3
Prática 2 - 23/09/2026
Semântica de Expressões Aritméticas e Booleanas
1. 2. 3.
Semântica operacional natural da linguagem While
5 a) c) 6 a) e b) 8 11
Simulador gráfico
Bibliografia e Ligações
- SWA: Cap 1
- SWA: Cap 2.1
Prática 4- 7/10/2026
Bibliografia e Ligações
- SWA: Cap 3.2
- The programming languages zoo
- Haskell programming
Prática 5- 14/10/2026
Bibliografia e Ligações
- SWA: Cap 3.2
- The programming languages zoo
- Haskell programming
Prática 6- 21/10/2026
Máquina abstracta AM para a linguagem While
Ver a linguagem comm e a geração de código no The Programming Languages Zoo
Ver a linguagem comm e a geração de código no The Programming Languages Zoo
Bibliografia e Ligações
- SWA: Cap 4
Reservado a estudantes
