Thomas Cheatham, Haiming Gao, Dan C. Stefanescu. A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. In Peter Fritzson, editor, Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings. Volume 786 of Lecture Notes in Computer Science, pages 188-202, Springer, 1994.
@inproceedings{CheathamGS94,
title = {A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter},
author = {Thomas Cheatham and Haiming Gao and Dan C. Stefanescu},
year = {1994},
tags = {rule-based, interpreter, analysis, C++},
researchr = {https://researchr.org/publication/CheathamGS94},
cites = {0},
citedby = {0},
pages = {188-202},
booktitle = {Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings},
editor = {Peter Fritzson},
volume = {786},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57877-3},
}