Analiza abstrakcyjna zmiennych numerycznych oraz kontenerów danych

Prelegent(ci)

Jędrzej Fulara

Afiliacja

Uniwersytet Warszawski

Termin

28 maja 2012 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Tym razem nie opowiem o niczym, czego byście jeszcze nie słyszeli. Referat będzie o abstrakcyjnej interpretacji oraz dziedzinach numerycznych i dziedzinach do analizy zawartości kontenerów danych, takich jak tablice i słowniki. Pojawią się (bez technicznych detali) nasze dziedziny numeryczne ("Weighted Hexagons" i "Strict Weighted Hexagons") oraz generyczna abstrakcja słowników.

---