William E. Weihl
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables
POPL, 1980.
@inproceedings{POPL-1980-Weihl, author = "William E. Weihl", booktitle = "{Conference Record of the Seventh Annual Symposium on Principles of Programming Languages}", doi = "10.1145/567446.567455", editor = "Paul W. Abrahams and Richard J. Lipton and Stephen R. Bourne", isbn = "0-89791-011-7", pages = "83--94", publisher = "{ACM Press}", title = "{Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables}", year = 1980, }