Login / Signup

A Relational Approach to Interprocedural Shape Analysis.

Bertrand JeannetAlexey LoginovThomas W. RepsShmuel Sagiv
Published in: SAS (2004)
Keyphrases