Optimizations and Runtime Support

9 Maio 2023, 13:00 • Alcides Fonseca

• Tail Call Optimization
• Garbage Collection
• Test 4

LLVM Exercices

2 Maio 2023, 15:00 • Alcides Fonseca

• The LLVM IR language
• Code generation of LLVM IR

Code Generation of LLVM

2 Maio 2023, 13:00 • Alcides Fonseca

• Test 3
• Intermediate Language
• Single Static Assignment
• The LLVM IR language
• Code generation and auxiliary functions

Semantics Exercices

18 Abril 2023, 15:00 • Alcides Fonseca

Exercícios práticos de semântica.

Program Semantics

18 Abril 2023, 13:00 • Alcides Fonseca

* Denotacional semantics