A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.

Helmut Seidl, Vesal Vojdani, Varmo Vene

Browse the full FM paper archive.