Automaton-Based Array Initialization Analysis.

Durica Nikolic, Fausto Spoto

Browse the full LATA paper archive.