@misc{indiciae4e64b0a45633,
  title = {Data-flow Analysis of Programs with Associative Arrays},
  author = {David Hauzar and Jan Kofroň and Pavel Baštecký},
  year = {2014},
  doi = {10.4204/eptcs.150.6},
  url = {https://arxiv.org/abs/1405.1116},
  note = {Source identifier: 1405.1116}
}