%0 Journal Article 
%F JLRS10
%A Jeannet, B.
%A Loginov, A.
%A Reps, T.
%A Sagiv, M.
%T A relational approach to interprocedural shape analysis
%J ACM Trans. On Programming Languages and Systems (TOPLAS)
%V 32
%N 2
%U http://doi.acm.org/10.1145/1667048.1667050
%D 2010