Alexandre Lenart, Christopher Sadler, Sandeep K. S. Gupta
SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation
SAC, 2000.
@inproceedings{SAC-2000-LenartSG, author = "Alexandre Lenart and Christopher Sadler and Sandeep K. S. Gupta", booktitle = "{Proceedings of the 15th Symposium on Applied Computing}", pages = "813--817", publisher = "{ACM}", title = "{SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation}", volume = 2, year = 2000, }