You are not logged in |
Bajtkod Javy w 12 instrukcjach - założenia implementacji
- Speaker(s)
- Patryk Czarnik
- Affiliation
- Uniwersytet Warszawski
- Date
- Jan. 10, 2011, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
Przypomnienie idei bajtkodu Javy w 12 instrukcjach oraz założenia co do implementacji jego semantyki w Coqu.
