Author: International Static Analysis Symposium (9th 2002 Madrid, Spain)