On Flat Programs with Lists.

Marius Bozga, Radu Iosif

Browse the full VMCAI paper archive.