A Relational Approach to Interprocedural Shape Analysis.
Saved in:
| Title: | A Relational Approach to Interprocedural Shape Analysis. |
|---|---|
| Authors: | Jeannet, Bertrand, Loginov, Alexey, Reps, Thomas |
| Source: | ACM Transactions on Programming Languages & Systems; Jan2010, Vol. 32 Issue 2, p5:1-5:52, 52p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
