Program Semantics

18 Abril 2023, 13:00 • Alcides Fonseca

* Denotacional semantics

* Operacional semantics
* Big-step
* Small-step