Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Browse the full VMCAI paper archive.