A Datalog model of must-alias analysis.

George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis

Browse the full PLDI paper archive.