Robert van Engelen. Efficient Symbolic Analysis for Optimizing Compilers. 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 118-132, Springer, 2001. [doi]
Abstract is missing.