JLRS10

B. Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. ACM Trans. On Programming Languages and Systems (TOPLAS), 32(2), 2010.

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@article{JLRS10,
   Author = {Jeannet, B. and Loginov, A. and Reps, T. and Sagiv, M.},
   Title = {A relational approach to interprocedural shape analysis},
   Journal = {ACM Trans. On Programming Languages and Systems (TOPLAS)},
   Volume = {32},
   Number = {2},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)