Thesis or Dissertation Counterexample-guided abstraction refinement for points-to analysis of object-oriented programs

Vu, Quang Vinh

2016-09
Description
Supervisor:寺内 多智弘
情報科学研究科
修士
Full-Text

https://dspace.jaist.ac.jp/dspace/bitstream/10119/13740/4/abstract.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/13740/5/paper.pdf

Number of accesses :  

Other information