Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

John Whaley, Monica S. Lam. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In William Pugh, Craig Chambers, editors, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. pages 131-144, ACM, 2004. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.