Programs with Lists Are Counter Automata.

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Toms Vojnar

Browse the full CAV paper archive.