Algebraic Program Analysis.

Zachary Kincaid, Thomas W. Reps, John Cyphert

Browse the full CAV paper archive.