Reasoning about comprehensions with first-order SMT solvers.

K. Rustan M. Leino, Rosemary Monahan

Browse the full SAC paper archive.