Author: International Static Analysis Symposium (11th 2004 Verona, Italy)