A Relational Approach to Interprocedural Shape Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv. A Relational Approach to Interprocedural Shape Analysis. In Roberto Giacobazzi, editor, Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Volume 3148 of Lecture Notes in Computer Science, pages 246-264, Springer, 2004. [doi]

This author has not been identified. Look up 'Bertrand Jeannet' in GoogleThis author has not been identified. Look up 'Alexey Loginov' in GoogleIdentified as Thomas W. Reps This author has not been identified. Look up 'Shmuel Sagiv' in Google

runs on WebDSL