eTD Explore

Start Over Committee Member Chitaranjan Das Committee Member Danfeng Zhang Keyword Abstract Interpretation

1. A Symbolic Data Dependence Analysis With Abstract Interpretation

open_access

Open Access

Author:: Zheng, Qingyuan
Title:: A Symbolic Data Dependence Analysis With Abstract Interpretation
Graduate Program:: Computer Science
Keywords:: Static Analysis
Alias Analysis
Data Dependence Analysis
Theorem Prover
Abstract Interpretation
File:: Download Master_Thesis_QingyuanZheng.pdf
Committee Members:: Gang Tan, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee Member
Chitaranjan Das, Program Head/Chair