PhD thesis,

Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction.

.
University of New South Wales, Sydney, Australia, (2017)base-search.net (ftunswworks:oai:unsworks.unsw.edu.au:1959.4/57658).

Meta data

Tags

Users

  • @dblp

Comments and Reviews