Data-flow Analysis of Programs with Associative Arrays. - David Hauzar; Jan Kofron; Pavel Bastecký (ESSS, 2014)