Programming Languages and Systems: 14th European Symposium ...
Mooly Sagiv
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms. MIT Press and McGraw-Hill Book Company, 2001. 2. Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model ...