Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists.

Pranav Garg, P. Madhusudan, Gennaro Parlato

Browse the full SAS paper archive.