Scaling CFL-reachability-based alias analysis: theory and practice.

Zhang, Qirun. === Thesis (Ph.D.)--Chinese University of Hong Kong, 2013. === Includes bibliographical references (leaves 170-186). === Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. === Abstracts a...

Full description

Bibliographic Details
Other Authors: Zhang, Qirun.
Format: Others
Language:English
Chinese
Published: 2013
Subjects:
Online Access:http://library.cuhk.edu.hk/record=b5884323
http://repository.lib.cuhk.edu.hk/en/item/cuhk-327723