Article Dans Une Revue
ACM Transactions on Programming Languages and Systems (TOPLAS)
Année : 2010
Bertrand Jeannet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00786335
Soumis le : vendredi 8 février 2013-13:41:05
Dernière modification le : jeudi 4 avril 2024-21:15:26
Citer
Bertrand Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. ACM Transactions on Programming Languages and Systems (TOPLAS), 2010, 32 (2), pp.5:1--52. ⟨10.1145/1667048.1667050⟩. ⟨hal-00786335⟩
Collections
73
Consultations
0
Téléchargements