Mamdouh Jemli, Jean-Pierre Rosen. A methodology for avoiding known compiler problems using static analysis. In Alok Srivastava, Jeff Boleng, editors, Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010. pages 23-30, ACM, 2010. [doi]
Abstract is missing.