Article Dans Une Revue
ACM Transactions on Programming Languages and Systems (TOPLAS)
Année : 2005
Nga Nguyen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01662155
Soumis le : mardi 12 décembre 2017-17:36:47
Dernière modification le : vendredi 19 avril 2024-16:18:57
Citer
Nga Thi Viet Nguyen, François Irigoin. Efficient and effective array bound checking. ACM Transactions on Programming Languages and Systems (TOPLAS), 2005, 27 (3), pp.527 - 570. ⟨10.1145/1065887.1065893⟩. ⟨hal-01662155⟩
Collections
71
Consultations
0
Téléchargements