@InProceedings{BagnaraGL93, Author = "R. Bagnara and R. Giacobazzi and G. Levi", Title = "An Application of Constraint Propagation to Data-Flow Analysis", BookTitle = "Proceedings of ``The Ninth Conference on Artificial Intelligence for Applications''", Address = "Orlando, Florida", Pages ="270--276", Month = "March", Year = 1993, Publisher = "IEEE Computer Society Press, Los Alamitos, CA", }