Abstract Domains and Solvers for Sets Reasoning.

Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival

Browse the full LPAR paper archive.