Shmuel Sagiv. High level formalisms for program flow analysis and their use in compiling. PhD thesis, Technion - Israel Institute of Technology, Israel, 1991. [doi]
No references recorded for this publication.
No citations of this publication recorded.