Automatic discovery of Zinecw restraints among variabZes of a program (1976)

by P Coueot, N Halbwachs
Venue:Conf. Rec. of the 5th ACM Symp. on Principles of Programming Languages