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.

---