Vincenzo Martena, Pierluigi San Pietro. Alias Analysis by Means of a Model Checker. In Reinhard Wilhelm, editor, Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Volume 2027 of Lecture Notes in Computer Science, pages 3-19, Springer, 2001. [doi]
Abstract is missing.