City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Верификация в JVM
Virtualization and virtual machines

What: Lecture
When: Sunday, 21 March 2010, 15:00–16:30
Where: ПОМИ РАН
Slides: virtualization_lecture_210310.pdf

Description

Вычисления над типами. Алгоритмы верификации. Двухфазная верификация. Ограничения верификатора.