The Def-inite Approach to Dependency Analysis.

Samir Genaim, Michael Codish

Browse the full ESOP paper archive.