Suresh Jagannathan, Andrew K. Wright. Effective Flow Analysis for Avoiding Run-Time Checks. In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings. Volume 983 of Lecture Notes in Computer Science, pages 207-224, Springer, 1995.
@inproceedings{JagannathanW95:0,
title = {Effective Flow Analysis for Avoiding Run-Time Checks},
author = {Suresh Jagannathan and Andrew K. Wright},
year = {1995},
tags = {analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/JagannathanW95%3A0},
cites = {0},
citedby = {0},
pages = {207-224},
booktitle = {Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings},
editor = {Alan Mycroft},
volume = {983},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60360-3},
}