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.

---