Report copyright - A Relational Approach to Interprocedural Shape Analysis · A Relational Approach to Interprocedural Shape Analysis BERTRAND JEANNET and ALEXEY LOGINOV and THOMAS REPS and MOOLY SAGIV
Please pass captcha verification before submit form