Skip to Main content Skip to Navigation
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 <>
Submitted on : Friday, February 8, 2013 - 1:41:05 PM
Last modification on : Tuesday, February 9, 2021 - 3:24:16 PM

Links full text

Identifiers

Collections

CNRS | INRIA | LIG | UGA

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⟩

Share

Metrics

Record views

252