![Subroutines / Data types / Type theory / C++ / Source code / Static single assignment form / Pointer / Use-define chain / Alias analysis / Software engineering / Computing / Computer programming Subroutines / Data types / Type theory / C++ / Source code / Static single assignment form / Pointer / Use-define chain / Alias analysis / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/306a5da7aedb8e07c59e1ad1cbd4a6f0.jpg) Date: 2003-06-27 02:40:09Subroutines Data types Type theory C++ Source code Static single assignment form Pointer Use-define chain Alias analysis Software engineering Computing Computer programming | | Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs V. Benjamin Livshits and Monica S. Lam Computer Systems Laboratory Stanford University Stanford, CA 94305Add to Reading ListSource URL: suif.stanford.eduDownload Document from Source Website File Size: 160,54 KBShare Document on Facebook
|