Sampaio, D., Martins, R., Collange, C., & Pereira, F. 2012 out 24. Divergence Analysis with Affine Constraints. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :