Regularly annotated set constraints.

John Kodumal, Alex Aiken

Browse the full PLDI paper archive.