A relational approach to interprocedural shape analysis

Type de document :
Article dans une revue
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2010, 32 (2), pp.5:1--52. 〈10.1145/1667048.1667050〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00786335
Contributeur : Bertrand Jeannet <>
Soumis le : vendredi 8 février 2013 - 13:41:05
Dernière modification le : mercredi 11 avril 2018 - 01:50:45

Lien texte intégral

Identifiants

Collections

Citation

Bertrand Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2010, 32 (2), pp.5:1--52. 〈10.1145/1667048.1667050〉. 〈hal-00786335〉

Partager

Métriques

Consultations de la notice

141