Interprocedural shape analysis (2000)

by N Rinetzky
Venue:Master’s thesis, Technion - Israel Institute of Technology