Sumários

Activation Records

28 Abril 2026, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Topics:

  • Stack frames and heap

Activation Records

28 Abril 2026, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Topics:

  • Stack frames and heap

Semantic Analysis II/II

21 Abril 2026, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Topics:

  • Type checking
  • Typing contexts
  • Typing judgements
  • Typing rules
  • Bidirectional type checking (analysis and synthesis)

Semantic Analysis II/II

21 Abril 2026, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Topics:

  • Type checking
  • Typing contexts
  • Typing judgements
  • Typing rules
  • Bidirectional type checking (analysis and synthesis)

2nd Written Assignment & Semantic Analysis I/II

14 Abril 2026, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

2nd Written Assignment:

  • Parsing
  • 13:15 - 13:45
  • Open book assignment