William H. Winsborough. Path-Dependent Reachability Analysis for Multiple Specialization. In NACLP. pages 133-153, 1989.
@inproceedings{Winsborough89,
title = {Path-Dependent Reachability Analysis for Multiple Specialization},
author = {William H. Winsborough},
year = {1989},
tags = {analysis},
researchr = {https://researchr.org/publication/Winsborough89},
cites = {0},
citedby = {0},
pages = {133-153},
booktitle = {NACLP},
}