You are not logged in |
JVM w Coqu - struktury czasu wykonania
- Speaker(s)
- Patryk Czarnik
- Affiliation
- Uniwersytet Warszawski
- Date
- March 28, 2011, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
Staram się zaimplementować w Coqu semantykę bajtkodu Javy w wersji wykorzystującej "faktoryzację" i "parametryzację" (bajtkod w 12 instrukcji).
Na seminarium przedstawię definicje typów dla struktur czasu wykonania. Mam nadzieję na dyskusję i rady co do sensowności owijania wszystkiego we własne definicje, ukrywania za sygnaturą itp.
