Alex Ferguson, John Hughes
Fast Abstract Interpretation Using Sequential Algorithms
SAS, 1993.
@inproceedings{WSA-1993-FergusonH, author = "Alex Ferguson and John Hughes", booktitle = "{Proceedings of the Third International Workshop on Static Analysis}", doi = "10.1007/3-540-57264-3_28", isbn = "3-540-57264-3", pages = "45--59", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Fast Abstract Interpretation Using Sequential Algorithms}", volume = 724, year = 1993, }