Nie jesteś zalogowany |
Bajtkod Javy w 12 instrukcjach - założenia implementacji
- Prelegent(ci)
- Patryk Czarnik
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 10 stycznia 2011 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Przypomnienie idei bajtkodu Javy w 12 instrukcjach oraz założenia co do implementacji jego semantyki w Coqu.
