Path-sensitive value-flow analysis.

Autor: Bodík, Rastisalv, Anik, Sadun

Publikováno v: Proceedings of the 25th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/19/1998, p237-251, 15p