Durica Nikolic, Fausto Spoto. Automaton-Based Array Initialization Analysis. In Adrian Horia Dediu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Volume 7183 of Lecture Notes in Computer Science, pages 420-432, Springer, 2012. [doi]
Abstract is missing.