Analiza abstrakcyjna zmiennych numerycznych oraz kontenerów danych

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.