Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.

Kalmer Apinis, Helmut Seidl, Vesal Vojdani

Browse the full APLAS paper archive.