Skip to Main content Skip to Navigation
New interface
Journal articles

A relational approach to interprocedural shape analysis

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00786335
Contributor : Bertrand Jeannet Connect in order to contact the contributor
Submitted on : Friday, February 8, 2013 - 1:41:05 PM
Last modification on : Friday, November 18, 2022 - 9:23:37 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

70