A methodology for avoiding known compiler problems using static analysis

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]

@inproceedings{JemliR10,
  title = {A methodology for avoiding known compiler problems using static analysis},
  author = {Mamdouh Jemli and Jean-Pierre Rosen},
  year = {2010},
  doi = {10.1145/1879063.1879073},
  url = {http://doi.acm.org/10.1145/1879063.1879073},
  researchr = {https://researchr.org/publication/JemliR10},
  cites = {0},
  citedby = {0},
  pages = {23-30},
  booktitle = {Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010},
  editor = {Alok Srivastava and Jeff Boleng},
  publisher = {ACM},
  isbn = {978-1-4503-0027-8},
}