Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings - Levi, Giorgio; Levi, Giorgio (Springer Berlin Heidelberg : Imprint: Springer, 1998)