You are not logged in |
JVM w Coqu po mojemu czyli faktoryzacja faktoryzacji
- Speaker(s)
- Patryk Czarnik
- Affiliation
- Uniwersytet Warszawski
- Date
- Jan. 9, 2012, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
Chodzi oczywiście o formalizację w Coqu semantyki maszyny wirtualnej Javy.
Ogólnie będzie... jak zwykle, a w szczegółach - jak realizuję operacje na stosie wartości (tzw. stackop) i jakie wnioski z tego wynikają dla całej formalizacji.
