How to Analyze Large Programs Efficiently and InformativelyDhananjay M. DhamdhereBarry K. Rosenet al.1992ACM SIGPLAN Notices