Sumários
Program Semantics
16 Abril 2024, 13:00 • Alcides Fonseca
* Denotacional semantics
* Operacional semantics
* Big-step
* Small-step
No class
26 Março 2024, 15:00 • Alcides Fonseca
There was no class this week (time to work on the project)