Static analysis of high-level languages

14 novembro 2019, 11:00 • Ana Almeida Matos

Steps for Information flow analysis: Noninterference.
Type systems for noninterference.