Dynamic analysis of high-level languages

26 novembro 2019, 09:30 • Ana Almeida Matos

Exercises on Dynamic analysis of high-level languages:  Small Step Semantics. Lock-step monitor