Static Analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings - Agostino Cortesi, Gilberto Filé ((Lecture Notes in Computer Science))