A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis.

Xin Li, Mizuhito Ogawa

Browse the full ICFEM paper archive.