A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter.

Thomas Cheatham Haiming Gao Dan C. Stefanescu A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter. 188-202 1994 conf/cc/1994 CC db/conf/cc/cc94.html#CheathamGS94 http://dx.doi.org/10.1007/3-540-57877-3_13