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. 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.

Authors

Thomas Cheatham

This author has not been identified. Look up 'Thomas Cheatham' in Google

Haiming Gao

This author has not been identified. Look up 'Haiming Gao' in Google

Dan C. Stefanescu

This author has not been identified. Look up 'Dan C. Stefanescu' in Google